include Transfer_functions.Binary_Forward
with module Arity := Generic_decoder_sig.Monadic_Arity(M)
and type binary = binary
and type boolean = booleaninclude Transfer_functions.Binary_Backward
with module Arity := Generic_decoder_sig.Monadic_Arity(M)
with type binary = binary
with type boolean = booleantype binary = binarytype boolean = booleanval biadd :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bisub :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bimul :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val beq :
size:int ->
(binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2val bisle :
size:int ->
(binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2val bislt :
size:int ->
(binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2val biule :
size:int ->
(binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2val biult :
size:int ->
(binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2val bconcat :
size1:int ->
size2:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bextract :
lo:int ->
hi:int ->
oldsize:int ->
(binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar1val band :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bor :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bxor :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val buext :
size:int ->
oldsize:int ->
(binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar1val bsext :
size:int ->
oldsize:int ->
(binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar1val bisdiv :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bisrem :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val biudiv :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val biurem :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bshl :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bashr :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val blshr :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bv_left_rotate :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val bv_right_rotate :
size:int ->
(binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2val biconst :
size:int ->
Binsec.Transfer_functions.Integer.t ->
binary Generic_decoder_sig.Monadic_Arity(M).ar0