package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : Monad
type boolean
type binary
module Binary : sig ... end
module Boolean : sig ... end
val bin_of_bool : boolean -> binary M.m
val bool_of_bin : binary -> boolean M.m
val ite : boolean -> binary -> binary -> binary M.m
val get_var : size:int -> string -> binary M.m
val load : size:int -> Machine.endianness -> binary -> binary M.m
val assume : boolean -> unit M.m