Gentactic.Map
module A : sig ... end
type t
val empty : t
val add : ('raw, 'glb) tag -> ('raw, 'glb) A.t -> t -> t
val find : ('raw, 'glb) tag -> t -> ('raw, 'glb) A.t
val mem : (_, _) tag -> t -> bool