lambdapi.parsing
Parsing.DkParser
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.pure
lambdapi.tool
type token = DkTokens.token
exception Error
val line : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Syntax.p_command