realSort top-level property
RealSort
get
realSort
The type of real numbers (integers, floats, rationals, irrationals).
Implementation
RealSort get realSort => currentContext.realSort;
The type of real numbers (integers, floats, rationals, irrationals).
RealSort get realSort => currentContext.realSort;