Module `Shape.Map`

type shape = Shape.t

type nonrec t = Shape.t Shape.Item.Map.t

val empty : Shape.Map.t

val add : Shape.Map.t -> Shape.Item.t -> Shape.Map.shape -> Shape.Map.t

val add_value : Shape.Map.t -> Ident.t -> Shape.Uid.t -> Shape.Map.t

val add_value_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_type : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_type_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_constr : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_constr_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_label : Shape.Map.t -> Ident.t -> Shape.Uid.t -> Shape.Map.t

val add_label_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_unboxed_label : Shape.Map.t -> Ident.t -> Shape.Uid.t -> Shape.Map.t

val add_unboxed_label_proj : 
  Shape.Map.t ->
  Ident.t ->
  Shape.Map.shape ->
  Shape.Map.t

val add_module : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_module_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_module_type : Shape.Map.t -> Ident.t -> Shape.Uid.t -> Shape.Map.t

val add_module_type_proj : 
  Shape.Map.t ->
  Ident.t ->
  Shape.Map.shape ->
  Shape.Map.t

val add_extcons : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_extcons_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_class : Shape.Map.t -> Ident.t -> Shape.Uid.t -> Shape.Map.t

val add_class_proj : Shape.Map.t -> Ident.t -> Shape.Map.shape -> Shape.Map.t

val add_class_type : Shape.Map.t -> Ident.t -> Shape.Uid.t -> Shape.Map.t

val add_class_type_proj : 
  Shape.Map.t ->
  Ident.t ->
  Shape.Map.shape ->
  Shape.Map.t

Module Shape.Map