Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
exception Parse_error of Lexing.position * stringexception Include_error of Lexing.position * stringval create_in : Lexing.lexbuf -> inputval read : input -> Tptp_ast.tptp_input optionval close_in : input -> unitval write :
?rfrac:float ->
?width:int ->
Buffer.t ->
Tptp_ast.tptp_input ->
unitval to_string : Tptp_ast.tptp_input -> stringmodule File : sig ... end