MAlonzo.Code.Data.Sign.Base
d_Sign_6 ∷ () Source #
data T_Sign_6 Source #
Constructors
d_opposite_12 ∷ T_Sign_6 → T_Sign_6 Source #
d__'42'__14 ∷ T_Sign_6 → T_Sign_6 → T_Sign_6 Source #