package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Default.Chunk

type t
type kind =
  1. | Hunk of hunk
  2. | Term of ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t
val inspect : t -> kind
val of_hunk : hunk -> t
val of_term : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> t
val to_term : t -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t
val equal : t -> t -> bool
val len : t -> int

low level API

val is_hunk : t -> bool
val is_term : t -> bool
val unsafe_to_hunk : t -> hunk
val unsafe_to_term : t -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t