Expression (melange.Js_parser.Flow

module CallTypeArg : sig ... end

module CallTypeArgs : sig ... end

module SpreadElement : sig ... end

module Array : sig ... end

module TemplateLiteral : sig ... end

module TaggedTemplate : sig ... end

module Object : sig ... end

module Sequence : sig ... end

module Unary : sig ... end

module Binary : sig ... end

module Assignment : sig ... end

module Update : sig ... end

module Logical : sig ... end

module Conditional : sig ... end

type ('M, 'T) expression_or_spread =

| Expression of ('M, 'T) Expression.t
| Spread of ('M, 'T) SpreadElement.t

val pp_expression_or_spread : 
  (Format.formatter -> 'M -> unit) ->
  (Format.formatter -> 'T -> unit) ->
  Format.formatter ->
  ('M, 'T) expression_or_spread ->
  unit

val show_expression_or_spread : 
  (Format.formatter -> 'M -> unit) ->
  (Format.formatter -> 'T -> unit) ->
  ('M, 'T) expression_or_spread ->
  string

module ArgList : sig ... end

module New : sig ... end

module Call : sig ... end

module OptionalCall : sig ... end

module Member : sig ... end

module OptionalMember : sig ... end

module Yield : sig ... end

module TypeCast : sig ... end

module AsExpression : sig ... end

module AsConstExpression : sig ... end

module TSSatisfies : sig ... end

module MetaProperty : sig ... end

module This : sig ... end

module Super : sig ... end

module Import : sig ... end

type ('M, 'T) match_expression = ('M, 'T, ('M, 'T) Expression.t) Match.t

val pp_match_expression : 
  (Format.formatter -> 'M -> unit) ->
  (Format.formatter -> 'T -> unit) ->
  Format.formatter ->
  ('M, 'T) match_expression ->
  unit

val show_match_expression : 
  (Format.formatter -> 'M -> unit) ->
  (Format.formatter -> 'T -> unit) ->
  ('M, 'T) match_expression ->
  string

type ('M, 'T) t = 'T * ('M, 'T) t'

and ('M, 'T) t' =

| Array of ('M, 'T) Array.t
| ArrowFunction of ('M, 'T) Function.t
| AsConstExpression of ('M, 'T) AsConstExpression.t
| AsExpression of ('M, 'T) AsExpression.t
| Assignment of ('M, 'T) Assignment.t
| Binary of ('M, 'T) Binary.t
| Call of ('M, 'T) Call.t
| Class of ('M, 'T) Class.t
| Conditional of ('M, 'T) Conditional.t
| Function of ('M, 'T) Function.t
| Identifier of ('M, 'T) Identifier.t
| Import of ('M, 'T) Import.t
| JSXElement of ('M, 'T) JSX.element
| JSXFragment of ('M, 'T) JSX.fragment
| StringLiteral of 'M StringLiteral.t
| BooleanLiteral of 'M BooleanLiteral.t
| NullLiteral of ('M, unit) Syntax.t option
| NumberLiteral of 'M NumberLiteral.t
| BigIntLiteral of 'M BigIntLiteral.t
| RegExpLiteral of 'M RegExpLiteral.t
| ModuleRefLiteral of ('M, 'T) ModuleRefLiteral.t
| Logical of ('M, 'T) Logical.t
| Match of ('M, 'T) match_expression
| Member of ('M, 'T) Member.t
| MetaProperty of 'M MetaProperty.t
| New of ('M, 'T) New.t
| Object of ('M, 'T) Object.t
| OptionalCall of ('M, 'T) OptionalCall.t
| OptionalMember of ('M, 'T) OptionalMember.t
| Sequence of ('M, 'T) Sequence.t
| Super of 'M Super.t
| TaggedTemplate of ('M, 'T) TaggedTemplate.t
| TemplateLiteral of ('M, 'T) TemplateLiteral.t
| This of 'M This.t
| TypeCast of ('M, 'T) TypeCast.t
| TSSatisfies of ('M, 'T) TSSatisfies.t
| Unary of ('M, 'T) Unary.t
| Update of ('M, 'T) Update.t
| Yield of ('M, 'T) Yield.t

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