package lambdapi

  1. Overview
  2. Docs
type token = DkTokens.token
exception Error
val line : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Syntax.p_command
OCaml

Innovation. Community. Security.