Searched refs:bvAsSignedInteger (Results 1 – 1 of 1) sorted by relevance
37 , bvAsSignedInteger142 bvAsSignedInteger :: forall sym. IsExprBuilder sym => SWord sym -> Maybe Integer143 bvAsSignedInteger ZBV = Just 0 function144 bvAsSignedInteger (DBV (bv :: SymBV sym w)) = function