On This Page
package dolmen_type
Builtin symbols for tptp's tff
Parameters
module Type : Tff_intf.Smodule T : Dolmen.Intf.Term.Dimacs with type t = Type.T.tSignature
val parse : Type.builtin_symbolsOn This Page
Builtin symbols for tptp's tff
module Type : Tff_intf.Smodule T : Dolmen.Intf.Term.Dimacs with type t = Type.T.tval parse : Type.builtin_symbols