elpi
  1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type

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