@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