module TPTP: sig .. end
sig
end
val prelude : UntypedAST.statement list
UntypedAST.statement list
type general_data =
|
Var of string
string
Int of int
int
String of string
App of string * general_data list
string * general_data list
List of general_data list
general_data list
Column of general_data * general_data
general_data * general_data