Module Syntax.Float

val v : float -> float value

v x is the literal float x.

val (=) : float value -> float value -> bool value

x = y is floating point equality.

Arithmetic operators

val (~-.) : float value -> float value

~-.x is the floating point negation of x.

val (+.) : float value -> float value -> float value

x +. y is floating point addition.

val (-.) : float value -> float value -> float value

x +. y is floating point subtraction.

val (*.) : float value -> float value -> float value

x *. y is floating point addition.

val (/.) : float value -> float value -> float value

x /. y is floating point division.