package bap-veri

  1. Overview
  2. Docs
package bap-veri
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = [
  1. | `Overloaded_chunk
    (*

    chunk contains more then one instruction

    *)
  2. | `Damaged_chunk of Core_kernel.Error.t
    (*

    chunk data can't be transformed to memory

    *)
  3. | `Disasm_error of Core_kernel.Error.t
    (*

    chunk data can't be disasmed

    *)
  4. | `Lifter_error of string * Core_kernel.Error.t
    (*

    chunk data can't be lifted

    *)
]
val bin_size_t : [> `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t ] -> int
val bin_write_t : Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> [< `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t | `Overloaded_chunk ] -> Bin_prot.Common.pos
val bin_writer_t : [< `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t | `Overloaded_chunk Damaged_chunk Disasm_error Lifter_error ] Core_kernel.Bin_prot.Type_class.writer
val __bin_read_t__ : Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> int -> [> `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t | `Overloaded_chunk ]
val bin_read_t : Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> [> `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t | `Overloaded_chunk ]
val bin_reader_t : [> `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t | `Overloaded_chunk ] Core_kernel.Bin_prot.Type_class.reader
val bin_t : [ `Damaged_chunk of Core_kernel.Error.t | `Disasm_error of Core_kernel.Error.t | `Lifter_error of Base.String.t * Core_kernel.Error.t | `Overloaded_chunk ] Core_kernel.Bin_prot.Type_class.t
val compare : t -> t -> int
val __t_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> t
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t