You can search for identifiers within the package.
in-package search v0.2.0
inferno
Make.U
type 'a structure = 'a S.structure
type variable
type data
val id : variable -> int
val structure : variable -> variable structure option
val set_structure : variable -> variable structure option -> unit
val data : variable -> data
val set_data : variable -> data -> unit
val fresh : variable structure option -> data -> variable
exception Unify of variable * variable
val unify : variable -> variable -> unit
module VarMap : Hashtbl.S with type key = variable
val equivalent : variable -> variable -> bool
val is_representative : variable -> bool
exception Cycle of variable
val new_occurs_check : (variable -> bool) -> variable -> unit
val new_acyclic_decoder : (variable -> 'a) -> ('a structure -> 'a) -> variable -> 'a
val new_cyclic_decoder : (variable -> 'a) -> ('a structure -> 'a) -> (variable -> 'a -> 'a) -> variable -> 'a