Chandeliers-Std

Standard library for the Chandeliers suite (Lustre-in-Rust).

This crates provides definitions of Lustre nodes written in the style of Candle (see chandeliers-sem). These nodes usually cannot be primitively expressed in pure Lustre.

Provided

Type conversions

In module cast:

extern node float_of_int(i : int) returns (f : float);
extern node ceil(f : float) returns (i : int);
extern node floor(f : float) returns (i : int);

Randomness

In module rand:

extern node random_int() returns (i : int);
extern node random_float() returns (f : float);
extern node random_bool() returns (b : bool);