module Juvix.Builtin.V1.Bool;

--- Inductive definition of booleans.
builtin bool
type Bool :=
  | false
  | true;