module Contracts::Builtin

Constants

ArrayOf

Takes a contract. The related argument must be an array. Checks the contract against every element of the array. If it passes for all elements, the contract passes. Example: ArrayOf[Num]

SetOf

Takes a contract. The related argument must be a set. Checks the contract against every element of the set. If it passes for all elements, the contract passes. Example: SetOf[Num]