ImpHConsOracles.mli « ocaml « Impure « abstractbb « mppa_k1c - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli

blob: e81681dfe2dfd5d0a7de8aafbad363a881f74937 (plain)

1
2
3

open ImpPrelude

val xhCons: (('a -> 'a -> bool) * ('a pre_hashV -> 'a hashV)) -> 'a hashConsing