Language.Fixpoint.Bitvector

Constructor

data Bv

Sizes

data BvSize

Operators

data BvOp

BitVector Sort Constructor

mkSort

BitVector Expression Constructor

eOp

BitVector Type Constructor

bvTyCon