HardDegreeLimit
HardDegreeLimit
-- keyword for an optional argument which specifies that information above a specified degree is to be discarded.
See:
resolution(HardDegreeLimit => ...)