package ambient-context

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Tid : sig ... end

module type Tid = sig ... end

type 'a tid = (module Tid with type t = 'a)

val tid : unit -> (module Tid with type t = 's)

type ('a, 'b) teq =

val eq : 'r 's. 'r tid -> 's tid -> ('r, 's) teq option

module type KEY_INFO = sig ... end

module type S = sig ... end

module Make (Key_info : KEY_INFO) : S with type 'a Key.info = 'a Key_info.t

include sig ... end

type 'a key

module Key : sig ... end

type t

val empty : t

val is_empty : t -> bool

val mem : 'a key -> t -> bool

val add : 'a key -> 'a -> t -> t

val singleton : 'a key -> 'a -> t

val rem : 'a key -> t -> t

val find : 'a key -> t -> 'a option

val get : 'a key -> t -> 'a

type binding =

val iter : (binding -> unit) -> t -> unit

val fold : (binding -> 'a -> 'a) -> t -> 'a -> 'a

val for_all : (binding -> bool) -> t -> bool

val exists : (binding -> bool) -> t -> bool

val filter : (binding -> bool) -> t -> t

val cardinal : t -> int

val any_binding : t -> binding option

val get_any_binding : t -> binding