@sharable
final
object
ForceDegree
An enumeration controlling the degree of forcing in "is-dully-defined" checks.
An enumeration controlling the degree of forcing in "is-dully-defined" checks.