Searched refs:num_instance_proofs (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ | ||
H A D | lhs_pars.py | 1212 def num_instance_proofs(header, canonical, d): function 1231 num_instance_proofs.order = 2 1351 'Num': num_instance_proofs, |
Completed in 26 milliseconds