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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct