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