@sharable final object ForceDegree

An enumeration controlling the degree of forcing in "is-dully-defined" checks.

Constructors

Members

[+] class Value
[+] val all : Value
[+] val noBottom : Value
[+] val none : Value