Language.Fixpoint.Bitvector

Sizes

data BvSize

Operators

data BvOp

BitVector Sort Constructor

mkSort

BitVector Expression Constructor

eOp