Module Domain.Binary_ForwardSource

Sourceval bashr : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval blshr : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval bisle : size:Units.In_bits.t -> Context.t -> binary -> binary -> boolean
Sourceval biule : size:Units.In_bits.t -> Context.t -> binary -> binary -> boolean
Sourceval bconcat : size1:Units.In_bits.t -> size2:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval bextract : size:Units.In_bits.t -> index:Units.In_bits.t -> oldsize:Units.In_bits.t -> Context.t -> binary -> binary
Sourceval band : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval bxor : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval buext : size:Units.In_bits.t -> oldsize:Units.In_bits.t -> Context.t -> binary -> binary
Sourceval bsext : size:Units.In_bits.t -> oldsize:Units.In_bits.t -> Context.t -> binary -> binary
Sourceval bisdiv : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval bismod : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval biudiv : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval biumod : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary
Sourceval bofbool : size:Units.In_bits.t -> Context.t -> boolean -> binary
Sourceval valid : size:Units.In_bits.t -> Operator__Operator_sig.access_type -> Context.t -> binary -> boolean
Sourceval valid_ptr_arith : size:Units.In_bits.t -> Operator__Operator_sig.arith_type -> Context.t -> binary -> binary -> boolean
Sourceval bshift : size:Units.In_bits.t -> offset:int -> max:int option -> Context.t -> binary -> binary
Sourceval bindex : size:Units.In_bits.t -> int -> Context.t -> binary -> binary -> binary
Sourceval bchoose : size:Units.In_bits.t -> int -> Context.t -> binary -> binary
Sourceval biconst : size:Units.In_bits.t -> Z.t -> Context.t -> binary
Sourceval buninit : size:Units.In_bits.t -> Context.t -> binary