package dolmen

  1. Overview
  2. Docs

Parameters

module I : Ast_tptp.Id
module T : sig ... end
module S : sig ... end

Signature

type token = Tokens_tptp.token
exception Error
val input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> S.t option
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> S.t list
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
OCaml

Innovation. Community. Security.