You can search for identifiers within the package.
in-package search v0.2.0
elpi
FlexibleData.Elpi
key for Elpi's flexible data
type t
val make : ?name:string -> Data.state -> Data.state * t
val get : name:string -> Data.state -> t option
val pp : Format.formatter -> t -> unit
val show : t -> string
val equal : t -> t -> bool
val hash : t -> int
val fresh : unit -> Ast.Name.t
val pp_raw : Format.formatter -> t -> unit
dbug print
val show_raw : t -> string