class Contracts::Builtin::And

Takes a variable number of contracts. The contract passes if all contracts pass. Example: And[Integer, Float]