package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type format = Types.Output.format =
  1. | Bin
  2. | Dec
  3. | Hex
  4. | Ascii
type 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
val eval : env -> t -> Types.Output.t
val pp : Format.formatter -> t -> unit