package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Transfer_functions.Binary_Forward with module Arity := Monadic_Arity(M) and type binary = binary and type boolean = boolean
include Transfer_functions.Binary_Backward with module Arity := Monadic_Arity(M) with type binary = binary with type boolean = boolean
type binary = binary
type boolean = boolean
val biadd : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bisub : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bimul : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val beq : size:int -> (binary, binary, boolean) Monadic_Arity(M).ar2
val bisle : size:int -> (binary, binary, boolean) Monadic_Arity(M).ar2
val bislt : size:int -> (binary, binary, boolean) Monadic_Arity(M).ar2
val biule : size:int -> (binary, binary, boolean) Monadic_Arity(M).ar2
val biult : size:int -> (binary, binary, boolean) Monadic_Arity(M).ar2
val bconcat : size1:int -> size2:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bextract : lo:int -> hi:int -> oldsize:int -> (binary, binary) Monadic_Arity(M).ar1
val band : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bor : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bxor : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val buext : size:int -> oldsize:int -> (binary, binary) Monadic_Arity(M).ar1
val bsext : size:int -> oldsize:int -> (binary, binary) Monadic_Arity(M).ar1
val bisdiv : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bisrem : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val biudiv : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val biurem : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bshl : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bashr : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val blshr : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bv_left_rotate : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2
val bv_right_rotate : size:int -> (binary, binary, binary) Monadic_Arity(M).ar2