MAlonzo.Code.Agda.Builtin.Unit
d_'8868'_6 ∷ () Source #
type T_'8868'_6 = () Source #
pattern C_tt_8 ∷ () Source #
check_tt_8 ∷ T_'8868'_6 Source #
cover_'8868'_6 ∷ () → () Source #