factory
get_prop_scope_at_stmt
Pervasives.compare
x
copy x
Pervasives.(=)
equal
compare x y = 0
compare
pretty
pretty_code
internal_pretty_code
kf_opt
Hashtbl.hash
fun x -> x
mem_project f x
true
p
Project.t
f p
memo tbl k f
k
tbl
mem_project
optlabel_func lab dft ty1 ty2
func ~label:(lab, Some dft) ty1 ty2
check_asserts