package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val neg : term -> term

neg t constructs the negation of the real number term t.

val to_int : term -> term

to_int t converts the real number term t to an integer term.

val add : term -> term -> term

add t1 t2 constructs the sum of the real number terms t1 and t2.

val sub : term -> term -> term

sub t1 t2 constructs the difference of the real number terms t1 and t2.

val mul : term -> term -> term

mul t1 t2 constructs the product of the real number terms t1 and t2.

val div : term -> term -> term

div t1 t2 constructs the quotient of the real number terms t1 and t2.

val pow : term -> term -> term

pow t1 t2 constructs the power of the real number terms t1 and t2.

val lt : term -> term -> term

lt t1 t2 constructs the less-than relation between t1 and t2.

val le : term -> term -> term

le t1 t2 constructs the less-than-or-equal relation between t1 and t2.

val gt : term -> term -> term

gt t1 t2 constructs the greater-than relation between t1 and t2.

val ge : term -> term -> term

ge t1 t2 constructs the greater-than-or-equal relation between t1 and t2.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct