Module Parser

You guessed it

exception Unclosed of bool * Pos.popt
val unclosed_comment : bool -> (Earley_core.Input.buffer * int) -> 'a
val subml_blank : Earley_core.Input.buffer -> int -> Earley_core.Input.buffer * int
val keywords : (string, string) Stdlib.Hashtbl.t
val is_keyword : string -> bool
val check_not_keyword : string -> unit
val new_keyword : string -> unit Earley_core.Earley.grammar
val glist_sep : 'a Earley_core.Earley.grammar -> 'b Earley_core.Earley.grammar -> 'a list Earley_core.Earley.grammar
val glist_sep' : 'a Earley_core.Earley.grammar -> 'b Earley_core.Earley.grammar -> 'a list Earley_core.Earley.grammar
val glist_sep'' : 'a Earley_core.Earley.grammar -> 'b Earley_core.Earley.grammar -> 'a list Earley_core.Earley.grammar
val list_sep : 'a Earley_core.Earley.grammar -> string -> 'a list Earley_core.Earley.grammar
val list_sep' : 'a Earley_core.Earley.grammar -> string -> 'a list Earley_core.Earley.grammar
val list_sep'' : 'a Earley_core.Earley.grammar -> string -> 'a list Earley_core.Earley.grammar
val str_lit : string Earley_core.Earley.grammar
val int_lit : int Earley_core.Earley.grammar
val lid : string Earley_core.Earley.grammar
val uid : string Earley_core.Earley.grammar
val loptident : string Earley_core.Earley.grammar
val llid : Pos.strloc Earley_core.Earley.grammar
val greek : string Earley_core.Earley.grammar
val lgid : string Earley_core.Earley.grammar
val build_prod : 'a list -> (string * 'a) list
val case_kw : unit Earley_core.Earley.grammar
val rec_kw : unit Earley_core.Earley.grammar
val let_kw : unit Earley_core.Earley.grammar
val such_kw : unit Earley_core.Earley.grammar
val that_kw : unit Earley_core.Earley.grammar
val val_kw : unit Earley_core.Earley.grammar
val of_kw : unit Earley_core.Earley.grammar
val in_kw : unit Earley_core.Earley.grammar
val fix_kw : unit Earley_core.Earley.grammar
val fun_kw : unit Earley_core.Earley.grammar
val if_kw : unit Earley_core.Earley.grammar
val then_kw : unit Earley_core.Earley.grammar
val else_kw : unit Earley_core.Earley.grammar
val with_kw : unit Earley_core.Earley.grammar
val type_kw : unit Earley_core.Earley.grammar
val abrt_kw : unit Earley_core.Earley.grammar
val clear_kw : unit Earley_core.Earley.grammar
val quit_kw : unit Earley_core.Earley.grammar
val exit_kw : unit Earley_core.Earley.grammar
val eval_kw : unit Earley_core.Earley.grammar
val set_kw : unit Earley_core.Earley.grammar
val include_kw : unit Earley_core.Earley.grammar
val check_kw : unit Earley_core.Earley.grammar
val latex_kw : unit Earley_core.Earley.grammar
val graphml_kw : unit Earley_core.Earley.grammar
val arrow : unit Earley_core.Earley.grammar
val forall : unit Earley_core.Earley.grammar
val exists : unit Earley_core.Earley.grammar
val mu : unit Earley_core.Earley.grammar
val nu : unit Earley_core.Earley.grammar
val time : unit Earley_core.Earley.grammar
val lambda : unit Earley_core.Earley.grammar
val dot : unit Earley_core.Earley.grammar
val comma : unit Earley_core.Earley.grammar
val subset : unit Earley_core.Earley.grammar
val infty : unit Earley_core.Earley.grammar
val eps : unit Earley_core.Earley.grammar
val kuvar : unit Earley_core.Earley.grammar
val ouvar : unit Earley_core.Earley.grammar
val dots : unit Earley_core.Earley.grammar
val mem : bool Earley_core.Earley.grammar
val is_rec : bool Earley_core.Earley.grammar
val enables : bool Earley_core.Earley.grammar
val ordi : Raw.pordi Earley_core.Earley.grammar
val kind : Raw.pkind Earley_core.Earley.grammar
val kind_atm : Raw.pkind Earley_core.Earley.grammar
val kind_prd : Raw.pkind Earley_core.Earley.grammar
val ext : bool Earley_core.Earley.grammar
val pkind : [ `Atm | `Fun | `Prd ] -> Raw.pkind Earley_core.Earley.grammar
val pkind__set__grammar : ([ `Atm | `Fun | `Prd ] -> Raw.pkind Earley_core.Earley.grammar) -> unit
val epsilon : Raw.pkind' Earley_core.Earley.grammar
val kind_args : (Raw.pordi list * Raw.pkind list) Earley_core.Earley.grammar
val kind_prod : (string * Raw.pkind) list Earley_core.Earley.grammar
val kind_dsum : (string * Raw.pkind option) list Earley_core.Earley.grammar
val kind_reco : (string * Raw.pkind) list Earley_core.Earley.grammar
val with_eq : (string * Raw.pkind) Earley_core.Earley.grammar
val term : Raw.pterm Earley_core.Earley.grammar
val tapp : Raw.pterm Earley_core.Earley.grammar
val tseq : Raw.pterm Earley_core.Earley.grammar
val tcol : Raw.pterm Earley_core.Earley.grammar
val tatm : Raw.pterm Earley_core.Earley.grammar
val pterm : [ `App | `Atm | `Col | `Lam | `Seq ] -> Raw.pterm Earley_core.Earley.grammar
val pterm__set__grammar : ([ `App | `Atm | `Col | `Lam | `Seq ] -> Raw.pterm Earley_core.Earley.grammar) -> unit
val var : (Pos.strloc * Raw.pkind option) Earley_core.Earley.grammar
val let_var : (Pos.strloc * Raw.pkind option) Earley_core.Earley.grammar
val term_llet : Raw.pterm Earley_core.Earley.grammar
val ords_kinds : (string list * string list) Earley_core.Earley.grammar
val term_mlet : Raw.pterm Earley_core.Earley.grammar
val term_cond : Raw.pterm Earley_core.Earley.grammar
val term_reco : (string * Raw.pterm) list Earley_core.Earley.grammar
val term_prod : (string * Raw.pterm) list Earley_core.Earley.grammar
val field : (string * Raw.pterm) Earley_core.Earley.grammar
val term_list : Raw.pterm Earley_core.Earley.grammar
val pats : (string * Raw.ppat * Raw.pterm) list Earley_core.Earley.grammar
val fpat : Raw.ppat Earley_core.Earley.grammar
val rpat : Raw.ppat Earley_core.Earley.grammar
val pattern : (string * Raw.ppat) Earley_core.Earley.grammar
val case : (string * Raw.ppat * Raw.pterm) Earley_core.Earley.grammar
val default : (Raw.ppat * Raw.pterm) Earley_core.Earley.grammar
val hash : unit Earley_core.Earley.grammar
val tex_simple : string Earley_core.Earley.grammar
val tex_name_aux : string Earley_core.Earley.grammar
val latex_atom : Latex.latex_output Earley_core.Earley.grammar
val sub : (Raw.pkind * Raw.pkind) Earley_core.Earley.grammar
val tex_name : string Earley_core.Earley.grammar
val tex_text : Latex.latex_output Earley_core.Earley.grammar
type name = string option * string
val new_type : name -> (string list * string list) -> Raw.pkind -> unit
type flag =
| MustPass
| MustFail
| CanFail
exception OK
val check : Pos.pos option -> flag -> ('a -> 'b) -> 'a -> 'b
val new_val : flag -> name -> Raw.pkind option -> Raw.pterm -> unit
val check_sub : Pos.popt -> flag -> Raw.pkind -> Raw.pkind -> unit
val eval_term : Raw.pterm -> unit
val read_file : (string -> unit) Stdlib.ref
val include_file : string -> unit
val output_graphml : Pos.strloc -> unit
val flag : flag Earley_core.Earley.grammar
type vset =
| Verbose of bool
| TeXFile of string
| GmlFile of string
| PrntLet of bool
val do_vset : vset -> unit
type command =
| Type of string option * string * string list * string list * Raw.pkind
| Defi of flag * string option * string * Raw.pkind option * Raw.pterm
| Eval of Raw.pterm
| Chck of Pos.pos * flag * Raw.pkind * Raw.pkind
| Incl of string
| GrMl of string Pos.loc
| LaTX of Latex.latex_output
| VSet of vset
| Clr
| Quit
val execute : command -> unit
val vset : bool -> vset Earley_core.Earley.grammar
val vset__set__grammar : (bool -> vset Earley_core.Earley.grammar) -> unit
val command : bool -> command Earley_core.Earley.grammar
val command__set__grammar : (bool -> command Earley_core.Earley.grammar) -> unit
val kind_def : (string option * string * (string list * string list) * Raw.pkind) Earley_core.Earley.grammar
val kind_def_args : (string list * string list) Earley_core.Earley.grammar
val val_def : ((string option * string) * Raw.pkind option * Raw.pterm) Earley_core.Earley.grammar
val toplevel_of_string : string -> command
val eval_string : string -> string -> unit
val eval_file : string -> unit
val handle_exception : ('a -> unit) -> 'a -> bool