Module ObjectPattern.Property

type ('M, 'T) key =
  1. | StringLiteral of 'M * 'M StringLiteral.t
  2. | NumberLiteral of 'M * 'M NumberLiteral.t
  3. | BigIntLiteral of 'M * 'M BigIntLiteral.t
  4. | Identifier of ('M, 'T) Identifier.t
and ('M, 'T) property = {
  1. key : ('M, 'T) key;
  2. pattern : ('M, 'T) MatchPattern.t;
  3. shorthand : bool;
  4. comments : ('M, unit) Syntax.t option;
}
and ('M, 'T) t = 'M * ('M, 'T) t'
and ('M, 'T) t' =
  1. | Valid of ('M, 'T) property
  2. | InvalidShorthand of ('M, 'M) Identifier.t
val pp_key : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) key -> unit
val show_key : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) key -> string
val pp_property : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) property -> unit
val show_property : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) property -> string
val pp : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) t -> unit
val show : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) t -> string
val pp_t' : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) t' -> unit
val show_t' : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) t' -> string