MAlonzo.Code.Agda.Builtin.Int
d_Int_6 ∷ () Source #
data T_Int_6 Source #
Constructors
d_primShowInteger_16 ∷ Integer → Text Source #