Juvix.Builtin.V1.Bool
Contents
builtin bool type BoolSource#
Inductive definition of booleans.
Constructors
open Bool using {false; true} public
