Documentation

Lean.ParserCompiler

structure Lean.ParserCompiler.Context (α : Type) :
Type
Equations
partial def Lean.ParserCompiler.compileParserExpr {α : Type} (ctx : Lean.ParserCompiler.Context α) (builtin : Bool) (force : Bool) (e : Lean.Expr) :
Equations
Equations