package logtk
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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/Ast_tptp/index.html
Module Logtk_parsers.Ast_tptp
TPTP Ast
and optional_info = general_data list
and general_data =
| GString of string
| GVar of string
| GInt of int
| GColumn of general_data * general_data
| GNode of string * general_data list
| GList of general_data list
val role_of_string : string -> role
val string_of_role : role -> string
val pp_role : role CCFormat.printer
val string_of_name : name -> string
val pp_name : name CCFormat.printer
val pp_general : general_data CCFormat.printer
val pp_general_debugf : general_data CCFormat.printer
val pp_generals : general_data list CCFormat.printer
type 'a t =
| CNF of name * role * 'a list * optional_info
| FOF of name * role * 'a * optional_info
| TFF of name * role * 'a * optional_info
| THF of name * role * 'a * optional_info
| TypeDecl of name * string * 'a * optional_info
| NewType of name * string * 'a * optional_info
| Include of string
| IncludeOnly of string * name list
(*top level declaration
*)
type 'a declaration = 'a t
IO
include Logtk.Interfaces.PRINT1 with type 'a t := 'a t
val pp : 'a CCFormat.printer -> 'a t CCFormat.printer
val to_string : 'a CCFormat.printer -> 'a t -> string