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