type nonrec t = t Item.Map.tval add_value : t -> Ident.t -> Uid.t -> tval add_value_proj : t -> Ident.t -> shape -> tval add_type : t -> Ident.t -> shape -> tval add_type_proj : t -> Ident.t -> shape -> tval add_constr : t -> Ident.t -> shape -> tval add_constr_proj : t -> Ident.t -> shape -> tval add_label : t -> Ident.t -> Uid.t -> tval add_label_proj : t -> Ident.t -> shape -> tval add_module : t -> Ident.t -> shape -> tval add_module_proj : t -> Ident.t -> shape -> tval add_module_type : t -> Ident.t -> Uid.t -> tval add_module_type_proj : t -> Ident.t -> shape -> tval add_extcons : t -> Ident.t -> shape -> tval add_extcons_proj : t -> Ident.t -> shape -> tval add_class : t -> Ident.t -> Uid.t -> tval add_class_proj : t -> Ident.t -> shape -> tval add_class_type : t -> Ident.t -> Uid.t -> tval add_class_type_proj : t -> Ident.t -> shape -> t