Searched refs:checkUnsigned (Results 1 – 1 of 1) sorted by relevance
145 checkUnsigned :: NatRepr w148 checkUnsigned w i = if i < 0 || i > P.maxUnsigned w function159 mkBVUnsigned w x = checkNatRepr w $ BV <$> checkUnsigned w x