SInt8 package:sbv

8-bit signed symbolic value, 2's complement representation

Declare a named SInt8 NB. For a version which generalizes over the underlying monad, see sInt8

Generalization of sInt8

Declare an unnamed SInt8 NB. For a version which generalizes over the underlying monad, see sInt8_

Declare a list of SInt8s NB. For a version which generalizes over the underlying monad, see sInt8s

Generalization of sInt8s