package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val floor : t
val ceiling : t
val truncate : t
val round : t
val prec : t
val succ : t
val sum : t
val difference : t
val uminus : t
val product : t
val quotient : t
val quotient_e : t
val quotient_t : t
val quotient_f : t
val remainder_e : t
val remainder_t : t
val remainder_f : t
val is_int : t
val is_rat : t
val to_int : t
val to_rat : t
val less : t
val lesseq : t
val greater : t
val greatereq : t
val symbols : t Sequence.t
val is_arith : t -> bool

Is the symbol a TPTP arithmetic symbol?