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
val with_file : string -> (input -> 'a) -> 'aval read : ?base_dir:string -> string -> Tptp_ast.tptp_input listval iter : ?base_dir:string -> (Tptp_ast.tptp_input -> unit) -> string -> unitval write :
?rfrac:float ->
?width:int ->
string ->
Tptp_ast.tptp_input list ->
unit