package alba

  1. Overview
  2. Docs
type parser
type state
type final = Expression.t
type 'a t
module Error : sig ... end
val needs_more : parser -> bool
val has_ended : parser -> bool
val has_succeeded : parser -> bool
val has_failed : parser -> bool
val state : parser -> Albalib__Parser_lang.Source_file.t
val put_character : parser -> char -> parser
val put_end : parser -> parser
val result : parser -> final option
val error : parser -> Error.t
val line : parser -> int
val column : parser -> int
val position : parser -> Fmlib.Position.t
val error_tabs : parser -> int list
val expression : unit -> Ast.Expression.t t
val command : Albalib__Parser_lang.Command.t t
val global_definition : 'a -> Ast.Expression.definition t
val global_definitions : 'a -> Ast.Expression.definition array t
val inductive_type : 'a -> Ast.Source_entry.inductive t
val inductive_family : 'a -> Ast.Source_entry.inductive array t
val source_file : bool -> unit t
val make : final t -> parser
val run : final t -> string -> parser
module Error_printer (PP : Fmlib.Pretty_printer.SIG) : sig ... end