Module LogtkSignature.TPTP

module TPTP: sig .. end

val base : LogtkSignature.t
val is_base_symbol : LogtkSymbol.t -> bool
val base_symbols : LogtkSymbol.Set.t
val is_bool : LogtkSignature.t -> LogtkSymbol.t -> bool
Has the symbol a boolean return sort?
Raises Not_found if the symbol is not in the signature
val is_not_bool : LogtkSignature.t -> LogtkSymbol.t -> bool
val pp_no_base : Buffer.t -> LogtkSignature.t -> unit
Print the signature, minus the base symbols

Arith


module Arith: sig .. end