package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type kind =
  1. | Hunk of hunk
  2. | Term of Expr.t
val inspect : t -> kind
val of_hunk : hunk -> t
val of_term : Expr.t -> t
val to_term : t -> Expr.t
val equal : t -> t -> bool

low level API

val is_hunk : t -> bool
val is_term : t -> bool
val unsafe_to_hunk : t -> hunk
val unsafe_to_term : t -> Expr.t