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]