package logtk
Core types and algorithms for logic
Install
Dune Dependency
Authors
Maintainers
Sources
2.0.tar.gz
md5=7a8e57388083ed763d12d18324c8a086
sha512=5c5ac312ada6b42907d1e91e349454a8375f7bf8165d3459721a40b707a840a3d6b3dc968a66f1040cb4de7aedf5c1c13f3e90b51337eae5ea6de41651d7bd63
doc/logtk.parsers/Logtk_parsers/Parse_tptp/index.html
Module Logtk_parsers.Parse_tptp
type token = | XOR| WILDCARD| VLINE| UPPER_WORD of string| UNDERSCORE| TYPE_TY| TRUE| THF| TFF| STAR| SINGLE_QUOTED of string| RIGHT_PAREN| RIGHT_BRACKET| REAL of string| RATIONAL of string| NOT_EQUAL| NOTVLINE| NOTCONST| NOTAND| NOT| LOWER_WORD of string| LEFT_PAREN| LEFT_IMPLY| LEFT_BRACKET| LAMBDA| INTEGER of string| INCLUDE| IMPLYCONST| IMPLY| FORALL_TY| FORALLCONST| FORALL| FOF| FALSE| EXISTSCONST| EXISTS| EQUIV| EQUAL| EOI| DOT| DOLLAR_WORD of string| DOLLAR_DOLLAR_WORD of string| DISTINCT_OBJECT of string| COMMA| COLUMN| CNF| AT| ARROW| AND
val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.tval parse_formula : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.tval parse_declarations :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logtk.STerm.t Ast_tptp.declaration listval parse_declaration :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logtk.STerm.t Ast_tptp.declarationval parse_answer_tuple :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logtk.STerm.t list list