package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `I.Binary`

include Transfer_functions.Binary_Forward
  with module Arity := Generic_decoder_sig.Monadic_Arity(M)
   and type binary = binary
   and type boolean = boolean

include Transfer_functions.Binary_Backward
  with module Arity := Generic_decoder_sig.Monadic_Arity(M)
  with type binary = binary
  with type boolean = boolean

type binary = binary

type boolean = boolean

val biadd : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bisub : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bimul : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val beq : 
  size:int ->
  (binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2

val bisle : 
  size:int ->
  (binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2

val bislt : 
  size:int ->
  (binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2

val biule : 
  size:int ->
  (binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2

val biult : 
  size:int ->
  (binary, binary, boolean) Generic_decoder_sig.Monadic_Arity(M).ar2

val bconcat : 
  size1:int ->
  size2:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bextract : 
  lo:int ->
  hi:int ->
  oldsize:int ->
  (binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar1

val band : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bor : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bxor : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val buext : 
  size:int ->
  oldsize:int ->
  (binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar1

val bsext : 
  size:int ->
  oldsize:int ->
  (binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar1

val bisdiv : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bisrem : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val biudiv : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val biurem : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bshl : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bashr : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val blshr : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bv_left_rotate : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val bv_right_rotate : 
  size:int ->
  (binary, binary, binary) Generic_decoder_sig.Monadic_Arity(M).ar2

val biconst : 
  size:int ->
  Binsec.Transfer_functions.Integer.t ->
  binary Generic_decoder_sig.Monadic_Arity(M).ar0

package binsec

Module I.Binary

Module `I.Binary`