Searched refs:bigNatMP (Results 1 – 2 of 2) sorted by relevance
157 (bigNatMP bigNat) (buildStep vs' k) buffer616 bigNatMP :: GHC.Num.BigNat.BigNat# -> B.Builder617 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder (GHC.Num.BigNat.BN# n) function645 bigNatMP :: BigNat -> B.Builder646 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder n function