elpi

ELPI - Embeddable λProlog Interpreter
Library elpi
Module Elpi . API . FlexibleData . Map

Parameters

module Host : Host

Signature

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 : Format.formatter -> t -> unit
val show : t -> string