Sig.Binary_Forward
include Binary_Backward
include Bitvector_Backward with type bitvector := binary
Bitvector Integer ADDition.
Bitvector Integer SUBtraction.
Bitvector Integer MULtiplication.
val valid : size:int -> access_type -> (binary, boolean) Arity.ar1