You can search for identifiers within the package.
in-package search v0.2.0
module Host : Host
type t
val empty : t
val add : Elpi.t -> Host.t -> t -> t
val remove_elpi : Elpi.t -> t -> t
val remove_host : Host.t -> t -> t
val filter : (Host.t -> Elpi.t -> bool) -> t -> t
val fold : (Host.t -> Elpi.t -> Data.term option -> 'a -> 'a) -> t -> 'a -> 'a
val elpi : Host.t -> t -> Elpi.t
val host : Elpi.t -> t -> Host.t
val uvmap : t State.component
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> string