juvix-docs - 0.0.0

Stdlib.Data.Unit

Description

The unit type.

Definitions

import Stdlib.Data.Unit.Base open public

deriving instance eqUnitI : Eq UnitSource#

deriving instance ordUnitI : Ord UnitSource#