Module Tac2dyn.ArgMapSource

Parameters

module M : Param

Signature

Sourcetype _ 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