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 39 milliseconds