MAlonzo.Code.Agda.Builtin.Bool
type T_Bool_6 = Bool Source #
d_Bool_6 :: () Source #
pattern C_false_8 :: Bool Source #
pattern C_true_10 :: Bool Source #