Module Tac2dyn.ArgMap

Parameters

• M : Param

Signature

type _ pack =

| 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