Searched refs:set_instance_proofs (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py741 set_instance_proofs(header, arities, d)
819 set_instance_proofs(header, arities, d)
1014 set_instance_proofs(typename, arities, d)
1022 def set_instance_proofs(header, constructor_arities, d): function

Completed in 38 milliseconds