Searched refs:add_bij_instance (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
| H A D | lhs_pars.py | 1218 def add_bij_instance(classname, fns): function in function:num_instance_proofs
1222 add_bij_instance('plus', [('plus', '%s + %s', True)])
1223 add_bij_instance('minus', [('minus', '%s - %s', True)])
1224 add_bij_instance('zero', [('zero', '0', True)])
1225 add_bij_instance('one', [('one', '1', True)])
1226 add_bij_instance('times', [('times', '%s * %s', True)])
|
Completed in 40 milliseconds