RTypes v0.1.0 RTypes.Checker View Source
Link to this section Summary
Functions
Ensure that term corresponds to the given type.
Link to this section Functions
Link to this function
check!(term, typ) View Source
Ensure that term corresponds to the given type.
The function either returns true
or raises an exception explaining what went
wrong.