package lambdapi

  1. Overview
  2. Docs
type token = LpLexer.token
exception Error
val term_alone : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Syntax.p_term
val search_query_alone : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> SearchQuerySyntax.query
val qid_alone : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Syntax.p_qident
val qid : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Syntax.p_qident
val command : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Syntax.p_command
OCaml

Innovation. Community. Security.