package coq

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

Parameters

module M : Param

Signature

type _ pack =
  1. | Pack : ('raw, 'glb) M.t -> ('raw * 'glb) pack
type t
val empty : t
val add : ('a, 'b) Arg.tag -> ('a * 'b) pack -> t -> t
val remove : ('a, 'b) Arg.tag -> t -> t
val find : ('a, 'b) Arg.tag -> t -> ('a * 'b) pack
val mem : ('a, 'b) Arg.tag -> t -> bool