package binsec

  1. Overview
  2. Docs

Module Sexpr.ChunkSource

Sourcetype t
Sourcetype hunk = (int, Stdlib.Bigarray.int8_unsigned_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t
Sourcetype kind =
  1. | Hunk of hunk
  2. | Term of Expr.t
Sourceval inspect : t -> kind
Sourceval of_hunk : hunk -> t
Sourceval of_term : Expr.t -> t
Sourceval to_term : t -> Expr.t
Sourceval equal : t -> t -> bool

low level API

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