Module real

Source
Expand description

Real spaces module.

Structs§

NonNegativeReals
Type representing the set of non-negative real numbers, R(≥0).
PositiveReals
Type representing the set of strictly positive real numbers, R(>0).
Reals
Type representing the set of all real numbers.

Type Aliases§

Interval