package lutin

  1. Overview
  2. Docs

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

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

Various operations on num values.

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

num_eq_zero ne returns true iff ne = 0

val num_sup_zero : num -> bool

num_sup_zero ne returns true iff ne > 0

val num_supeq_zero : num -> bool

num_supeq_zero ne returns true iff ne >= 0

val neg : num -> num

neg ne returns -ne