package logtk
Core types and algorithms for logic
Install
Dune Dependency
Authors
Maintainers
Sources
2.1.tar.gz
md5=e72de75e9f0f87da9e6e8c0a4d4c89f9
sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287
doc/logtk.parsers/Logtk_parsers/Ast_tptp/index.html
Module Logtk_parsers.Ast_tptp
TPTP Ast
and optional_info = general_data listand 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 -> roleval string_of_role : role -> stringval pp_role : role CCFormat.printerval string_of_name : name -> stringval pp_name : name CCFormat.printerval pp_general : general_data CCFormat.printerval pp_general_debugf : general_data CCFormat.printerval pp_generals : general_data list CCFormat.printertype '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 tIO
include Logtk.Interfaces.PRINT1 with type 'a t := 'a t
val pp : 'a CCFormat.printer -> 'a t CCFormat.printerval to_string : 'a CCFormat.printer -> 'a t -> string