Make_application_disambiguation (beluga.Beluga_parser.Application_disambiguation.Make_application

Parameters

module Expression : EXPRESSION with type location = Beluga_syntax.Location.t

type expression = Expression.t

type source

val make_expression : expression -> source

val make_operator : 
  expression ->
  Beluga_syntax.Operator.t ->
  Beluga_syntax.Qualified_identifier.t ->
  source

type target = private

| Atom of {
1. expression : expression;
2. location : Beluga_syntax.Location.t;
}
| Application of {
1. applicand : expression;
2. arguments : target Support.List1.t;
3. location : Beluga_syntax.Location.t;
}

val disambiguate_application : 
  source Support.List2.t ->
  expression * target Support.List1.t