Parser
exception Unclosed of bool * Pos.popt
val llid : Pos.strloc 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 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_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 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 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 latex_atom : Latex.latex_output Earley_core.Earley.grammar
val tex_text : Latex.latex_output Earley_core.Earley.grammar
val eval_term : Raw.pterm -> unit
val output_graphml : Pos.strloc -> unit
val flag : flag Earley_core.Earley.grammar
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 toplevel_of_string : string -> command