class Contracts::Builtin::DescendantOf

Use this for specifying contracts for class arguments Example: DescendantOf[ e: Range, f: Optional[Num] ]