Expand description
Random primitives for Lustre.
Structsยง
- random_
bool - Lustre node that returns a random
booluniformly. - random_
float - Lustre node that returns a random
floatuniformly betweenf64::MINandf64::MAX. - random_
int - Lustre node that returns a random
intuniformly betweeni64::MINandi64::MAX.