Module cast 

Type conversion functions.

Structs

ceil

Rounds a float to the int above.

float_of_int

Lustre node that converts an int to a float.

floor

Rounds a float to the int below.

int_of_float

Lustre node that converts a float to an int.