package binsec

  1. Overview
  2. Docs

Module Script.OutputSource

Sourcetype format = Types.Output.format =
  1. | Bin
  2. | Dec
  3. | Hex
  4. | Ascii
Sourcetype t =
  1. | Model
  2. | Formula
  3. | Slice of (Expr.t loc * string) list
  4. | Value of format * Expr.t loc
  5. | Stream of string
  6. | String of string option * Expr.t loc * Expr.t loc option
Sourceval eval : env -> t -> Types.Output.t
Sourceval pp : Format.formatter -> t -> unit