package lutin

  1. Overview
  2. Docs

Module ValueSource

Internal representation of values (bool, int, floats) manipulated in lurette.

Sourcetype num =
  1. | I of Num.num
  2. | F of float
Sourcetype t =
  1. | B of bool
  2. | N of num
Sourceval to_data_val : t -> Data.v
Sourceval from_data_val : Data.v -> t
Sourceval num_is_int : num -> bool
Sourceval mult_num : num -> num -> num

Various operations on num values.

Sourceval diff_num : num -> num -> num
Sourceval add_num : num -> num -> num
Sourceval div_num : num -> num -> num
Sourceval modulo_num : num -> num -> num
Sourceval quot_num : num -> num -> num
Sourceval num_eq_zero : num -> bool

num_eq_zero ne returns true iff ne = 0

Sourceval num_sup_zero : num -> bool

num_sup_zero ne returns true iff ne > 0

Sourceval num_supeq_zero : num -> bool

num_supeq_zero ne returns true iff ne >= 0

Sourceval neg : num -> num

neg ne returns -ne

OCaml

Innovation. Community. Security.