Module Expr.BitvSource

Sourcemodule I8 : Constructors_intf.Infix with type elt := int and type t := t

Bitvector operations for 8-bit integers.

Sourcemodule I32 : Constructors_intf.Infix with type elt := int32 and type t := t

Bitvector operations for 32-bit integers.

Sourcemodule I64 : Constructors_intf.Infix with type elt := int64 and type t := t

Bitvector operations for 64-bit integers.