View Source TypeCheck.DefaultOverrides.Module (TypeCheck v0.10.8)
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)