module Juvix.Builtin.V1.Bool; --- Inductive definition of booleans. builtin bool type Bool := | false | true; open Bool using {false; true} public;