lambdapi.parsing
Parsing.LpParser
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.pure
lambdapi.tool
type token = LpLexer.token
exception Error
val qid : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Syntax.p_qident
val command : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Syntax.p_command