nspec - 0.1.0

Juvix.Builtin.V1.Bool

Definitions

builtin bool type BoolSource#

Inductive definition of booleans.

Constructors

| true
| false