package elpi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

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 -> (int * 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