Parse (melange.Js_parser.Expression_parser.Expression.Parse)

val program : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Program.t

val statement : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Statement.t

val statement_list_item : 
  ?decorators:(Loc.t, Loc.t) Flow_ast.Class.Decorator.t list ->
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Statement.t

val statement_list : 
  term_fn:(Token.t -> bool) ->
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Statement.t list

val statement_list_with_directives : 
  term_fn:(Token.t -> bool) ->
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Statement.t list * bool

val module_body : 
  term_fn:(Token.t -> bool) ->
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Statement.t list

val expression : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Expression.t

val expression_or_pattern : Parser_env.env -> Parser_common.pattern_cover

val conditional : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Expression.t

val assignment : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Expression.t

val left_hand_side : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Expression.t

val object_initializer : 
  Parser_env.env ->
  Loc.t
  * (Loc.t, Loc.t) Flow_ast.Expression.Object.t
  * Parser_common.pattern_errors

val identifier : 
  ?restricted_error:Parse_error.t ->
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Identifier.t

val identifier_with_type : 
  Parser_env.env ->
  ?no_optional:bool ->
  Parse_error.t ->
  Loc.t * (Loc.t, Loc.t) Flow_ast.Pattern.Identifier.t

val block_body : 
  Parser_env.env ->
  Loc.t * (Loc.t, Loc.t) Flow_ast.Statement.Block.t

val function_block_body : 
  expression:bool ->
  Parser_env.env ->
  (Loc.t * (Loc.t, Loc.t) Flow_ast.Statement.Block.t) * bool

val jsx_element_or_fragment : 
  Parser_env.env ->
  Loc.t
  * [ `Element of (Loc.t, Loc.t) Flow_ast.JSX.element
    | `Fragment of (Loc.t, Loc.t) Flow_ast.JSX.fragment ]

val pattern : 
  Parser_env.env ->
  Parse_error.t ->
  (Loc.t, Loc.t) Flow_ast.Pattern.t

val pattern_from_expr : 
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Expression.t ->
  (Loc.t, Loc.t) Flow_ast.Pattern.t

val object_key : 
  ?class_body:bool ->
  Parser_env.env ->
  Loc.t * (Loc.t, Loc.t) Flow_ast.Expression.Object.Property.key

val class_declaration : 
  Parser_env.env ->
  (Loc.t, Loc.t) Flow_ast.Class.Decorator.t list ->
  (Loc.t, Loc.t) Flow_ast.Statement.t

val class_expression : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Expression.t

val is_assignable_lhs : (Loc.t, Loc.t) Flow_ast.Expression.t -> bool

val number : Parser_env.env -> Token.number_type -> string -> float

val annot : Parser_env.env -> (Loc.t, Loc.t) Flow_ast.Type.annotation

val bigint : Parser_env.env -> Token.bigint_type -> string -> int64 option