package lambdapi

  1. Overview
  2. Docs
type token = LpLexer.token
exception Error
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.