Tac2dyn.ArgMap
module M : Param
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