Module: Contracts::Builtin

Defined in:

lib/contracts/builtin_ext.rb

Defined Under Namespace

Classes: BigInt, Bool, CollectionOf, HashOf, Int, Maybe, Nat, Neg, Num, Or, Pos, SmallInt, TinyInt