class and type type
Contract
No input parameters.
Water Contract
<class type
/>

Subclasses: not_of, primitive, all_of, call_method_of, one_of, record2, path, vector_of, range_of

Methods: check_return_type, is_type_for, check_types