You can search for identifiers within the package.
in-package search v0.2.0
type t
val equal : t -> t -> bool
val pp : Containers.Format.formatter -> t -> unit
val key : t Kind.t
val inter : Egraph.wt -> t -> t -> t option
inter d d1 d2 compute the intersection of d1 and d2 return None if it is empty. In this last case a contradiction is reported
inter d d1 d2
d1
d2
None
val is_singleton : Egraph.wt -> t -> Value.t option
is_singleton _ d if d is restricted to a singleton return the corresponding value
is_singleton _ d
d