Skip to main content
Module real
creusot_
std
0.9.0
Module real
Module Items
Structs
In creusot_
std::
logic
creusot_std
::
logic
Module
real
Copy item path
Source
Expand description
Real numbers
Structs
ยง
Positive
Real
Natural numbers, i.e., integers that are greater or equal to 0.
Real