Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val with_file : string -> (input -> 'a) -> 'a
val read : ?base_dir:string -> string -> Tptp_ast.tptp_input list
val iter : ?base_dir:string -> (Tptp_ast.tptp_input -> unit) -> string -> unit
val write :
?rfrac:float ->
?width:int ->
string ->
Tptp_ast.tptp_input list ->
unit