Searched refs:bigNatToBuilder (Results 1 – 2 of 2) sorted by relevance
617 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder (GHC.Num.BigNat.BN# n)625 <> bigNatToBuilder (subtractOneBigNat (GHC.Num.BigNat.BN# n))646 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder n654 <> bigNatToBuilder (subtractOneBigNat n)663 bigNatToBuilder :: BigNat -> B.Builder664 bigNatToBuilder = bigNatBuilder function