[−][src]Module nar::check::rules::data
Type check data type & constructor declarations.
Functions
check_cons | |
check_data | |
check_tele | The checked tele is put into the returned |
Type check data type & constructor declarations.
check_cons | |
check_data | |
check_tele | The checked tele is put into the returned |