View Source TypeCheck.DefaultOverrides.Module (TypeCheck v0.10.7)
Link to this section Summary
Link to this section Types
Specs
def_kind()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
def_kind()
(opaque type)
Specs
definition()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
definition()
(opaque type)