package elpi

  1. Overview
  2. Docs

Parameters

module Host : HostWeak
module D : Show

Signature

type t
val create : int -> t
val add : Elpi.t -> Host.t -> D.t -> t -> unit
val remove_elpi : Elpi.t -> t -> unit
val remove_host : Host.t -> t -> unit
val filter : (Host.t -> Elpi.t -> D.t -> bool) -> t -> unit
val fold : (Host.t -> Elpi.t -> Data.term option -> D.t -> 'a -> 'a) -> t -> 'a -> 'a
val elpi : Host.t -> t -> Elpi.t * D.t
val host : Elpi.t -> t -> Host.t * D.t
val uvmap : t State.component
val pp : Format.formatter -> t -> unit
val show : t -> string