Chandeliers-Std

Chandeliers suite（Lustre-in-Rust）的标准库。

这个crate提供了以Candle风格编写的Lustre节点定义（参见chandeliers-sem）。这些节点通常不能用纯Lustre直接表示。

提供

类型转换

在模块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);

随机数

在模块rand中

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

lib.rs:

Candle的“标准库”。