package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type num =

type t =

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