class Contracts::Builtin::RangeOf

Use this to specify a Range object of a particular datatype. Example: RangeOf[Nat], RangeOf[Date], …