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

about summary refs log tree commit diff stats

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

blob: 5075d1768bc8c7a2968e476742b338b98482c161 (plain)

open ImpPrelude
open HConsingDefs

val make_dict : 'a Dict.hash_params -> ('a, 'b) Dict.t
val xhCons: 'a hashP -> 'a hashConsing