module Juvix.Builtin.V1.Bool;

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

open Bool using {false; true} public;