singleton.ops.impl.GeneralMacros
Typecheck singleton types so as to obtain indirectly available known-at-compile-time values.
Typecheck singleton types so as to obtain indirectly available known-at-compile-time values.