package logtk

  1. Overview
  2. Docs
On This Page
  1. Arith
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val base : t
val is_base_symbol : LogtkSymbol.t -> bool
val base_symbols : LogtkSymbol.Set.t
val is_bool : 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 : t -> LogtkSymbol.t -> bool
val pp_no_base : Buffer.t -> t -> unit

Print the signature, minus the base symbols

Arith

module Arith : sig ... end