Searched defs:minusBigNatWord (Results 1 – 1 of 1) sorted by relevance
1010 minusBigNatWord x 0## = x function1011 minusBigNatWord x@(BN# x#) y# = runS $ do function