| Contract | a_thing.<assert a_type=optional name=optional if_failure=<get_type_checking/> /> |
| Tests More... | 7.<assert <type.one_of 1 3 5 7 9/> if_failure="error"/>._parentresult= thing.number.integer<try 2.<assert <type.one_of 1 3 5 7 9/>
if_failure="error" message="not odd"/>._parent false> true </try>
result=true |
<get_type_checking/> which will be
one of the above three options, which itself is "off" by default.
See also: get_type_checking