Module `Shape.Item`

Shape's items are elements of a structure or, in the case of constructors and labels, elements of a record or variants definition seen as a structure. These structures model module components and nested types' constructors and labels.

type t = string * Ocaml_typing.Shape.Sig_component_kind.t

val name : Ocaml_typing.Shape.Item.t -> string

val kind : Ocaml_typing.Shape.Item.t -> Ocaml_typing.Shape.Sig_component_kind.t

val make : 
  string ->
  Ocaml_typing.Shape.Sig_component_kind.t ->
  Ocaml_typing.Shape.Item.t

val value : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val type_ : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val constr : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val label : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val unboxed_label : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val module_ : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val module_type : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val extension_constructor : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val class_ : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val class_type : Ocaml_typing.Ident.t -> Ocaml_typing.Shape.Item.t

val print : Stdlib.Format.formatter -> Ocaml_typing.Shape.Item.t -> unit

val compare : Ocaml_typing.Shape.Item.t -> Ocaml_typing.Shape.Item.t -> int

val is_constructor : Ocaml_typing.Shape.Item.t -> bool

val is_label : Ocaml_typing.Shape.Item.t -> bool

val is_unboxed_label : Ocaml_typing.Shape.Item.t -> bool

module Map : Stdlib.Map.S with type key = Ocaml_typing.Shape.Item.t

Module Shape.Item

Module `Shape.Item`