Juvix.Builtin.V1.Bool
Contents
builtin bool type BoolSource#
Inductive definition of booleans.
Constructors
