MAlonzo.Code.Agda.Builtin.Nat
d_Nat_6 ∷ () Source #
data T_Nat_6 Source #
Constructors
d__'43'__14 ∷ Integer → Integer → Integer Source #
d__'45'__22 ∷ Integer → Integer → Integer Source #
d__'42'__32 ∷ Integer → Integer → Integer Source #
d__'61''61'__40 ∷ Integer → Integer → Bool Source #
d__'60'__46 ∷ Integer → Integer → Bool Source #
d_div'45'helper_60 ∷ Integer → Integer → Integer → Integer → Integer Source #
d_mod'45'helper_90 ∷ Integer → Integer → Integer → Integer → Integer Source #