juvix-docs - 0.0.0

Juvix.Builtin.V1.Bool

Definitions

builtin bool type BoolSource#

Inductive definition of booleans.

Constructors

| true
| false