stdlib - 0.0.1

Juvix.Builtin.V1.Bool

Definitions

builtin bool type BoolSource#

Inductive definition of booleans.

Constructors

| false
| true