package tptp

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Input_closed

exception Parse_error of Lexing.position * string

type input

val create_in : Lexing.lexbuf -> input

val read : input -> Tptp_ast.tptp_input option

val close_in : input -> unit

val write : Buffer.t -> Tptp_ast.tptp_input -> unit