2 ms·
UnitInterval isn't a type, it's a value of type Range, specifically the range [0,1]. UnitIntervalValue would be the type name for the thing we are interested i
by nicky0 6y ago
UnitInterval isn't a type, it's a value of type Range, specifically the range [0,1].
UnitIntervalValue would be the type name for the thing we are interested in.
Values of that type should of course have descriptive names.