Module Mml.Parser

type error = [
  1. | `Parsing_error of string
]
val pp_error : Stdlib.Format.formatter -> [< `Parsing_error of string ] -> unit
val parse : string -> (Ast.name Ast.t, [> error ]) Stdlib.result

Main entry of parser

type parsers = {
  1. p_expr : parsers -> Ast.name Ast.t Angstrom.t;
  2. p_comp : parsers -> Ast.name Ast.t Angstrom.t;
  3. p_add : parsers -> Ast.name Ast.t Angstrom.t;
  4. p_mul : parsers -> Ast.name Ast.t Angstrom.t;
  5. p_unary : parsers -> Ast.name Ast.t Angstrom.t;
  6. p_app : parsers -> Ast.name Ast.t Angstrom.t;
  7. p_primary : parsers -> Ast.name Ast.t Angstrom.t;
}

Parser combinators organized by precedence

val parse_lam : parsers