Searched refs:subtractOneBigNat (Results 1 – 2 of 2) sorted by relevance
625 <> bigNatToBuilder (subtractOneBigNat (GHC.Num.BigNat.BN# n))627 subtractOneBigNat (GHC.Num.BigNat.BN# nat) =654 <> bigNatToBuilder (subtractOneBigNat n)656 subtractOneBigNat n = Gmp.minusBigNatWord n (int2Word# 1#) function