MAlonzo.Code.VerifiedCompilation.Purity
d_UPure_6 ∷ p → p → () Source #
data T_UPure_6 Source #
Constructors
d_isUPure'63'_18 ∷ T__'8866'_14 → T_Dec_20 Source #
du_isUPure'63'_18 ∷ T_Dec_20 Source #