Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This package provides the following libraries (via ocamlobjinfo):
Documentation:
Tptp_ast
AST for FOF and CNF formulas.Tptp_parser
Tptp_lexer
Lexer.Tptp_printer
Printer.Tptp
Reading and writing FOF and CNF formulas in TPTP format.