Expand description
Real spaces module.
Structs
Type representing the set of non-negative real numbers, R(≥0).
Type representing the set of strictly positive real numbers, R(>0).
Type representing the set of all real numbers.
Real spaces module.
Type representing the set of non-negative real numbers, R(≥0).
Type representing the set of strictly positive real numbers, R(>0).
Type representing the set of all real numbers.