factory
Pervasives.compare
Db.Scope.get_defs_with_type
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