You can search for identifiers within the package.
in-package search v0.2.0
logical
Logical.State
val empty : Type.state
val create : (Type.variable_name * Type.t) list -> Type.state option
val create_exn : (Type.variable_name * Type.t) list -> Type.state
val value_of : Type.state -> Type.t -> Type.t
val unify : Type.state -> Type.t -> Type.t -> Type.state option
val to_string : Type.state -> string