Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val init : ('a -> int) -> ('a -> 'a -> bool) -> ('a, 'k) mem
val unify_naive : bool -> ('a, 'k) unifier
val unify_dsf : bool -> ('a, 'k) unifier
val bot : formula
val top : formula
val witness : (bool, 'k) node -> ('k * bool) list
val print_formula : int -> formula Common.formatter
val tag : ('a, 'k) node -> int
val hash : ('a, 'k) node -> int