package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

Kinds of instructions

type branch = [
  1. | `Conditional_branch
  2. | `Unconditional_branch
  3. | `Indirect_branch
]
val bin_shape_branch : Core_kernel.Bin_prot.Shape.t
val __bin_read_branch__ : (int -> branch) Core_kernel.Bin_prot.Read.reader
val compare_branch : branch -> branch -> int
val all_of_branch : branch list
val sexp_of_branch : branch -> Ppx_sexp_conv_lib.Sexp.t
val branch_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> branch
val __branch_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> branch
type affecting_control = [
  1. | branch
  2. | `Return
  3. | `Call
  4. | `Barrier
  5. | `Terminator
  6. | `May_affect_control_flow
]
val bin_shape_affecting_control : Core_kernel.Bin_prot.Shape.t
val bin_size_affecting_control : affecting_control Core_kernel.Bin_prot.Size.sizer
val bin_write_affecting_control : affecting_control Core_kernel.Bin_prot.Write.writer
val bin_read_affecting_control : affecting_control Core_kernel.Bin_prot.Read.reader
val __bin_read_affecting_control__ : (int -> affecting_control) Core_kernel.Bin_prot.Read.reader
val compare_affecting_control : affecting_control -> affecting_control -> int
val all_of_affecting_control : affecting_control list
val sexp_of_affecting_control : affecting_control -> Ppx_sexp_conv_lib.Sexp.t
val affecting_control_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> affecting_control
val __affecting_control_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> affecting_control
type having_side_effect = [
  1. | `May_load
  2. | `May_store
]
val bin_shape_having_side_effect : Core_kernel.Bin_prot.Shape.t
val bin_size_having_side_effect : having_side_effect Core_kernel.Bin_prot.Size.sizer
val bin_write_having_side_effect : having_side_effect Core_kernel.Bin_prot.Write.writer
val bin_read_having_side_effect : having_side_effect Core_kernel.Bin_prot.Read.reader
val __bin_read_having_side_effect__ : (int -> having_side_effect) Core_kernel.Bin_prot.Read.reader
val compare_having_side_effect : having_side_effect -> having_side_effect -> int
val all_of_having_side_effect : having_side_effect list
val sexp_of_having_side_effect : having_side_effect -> Ppx_sexp_conv_lib.Sexp.t
val having_side_effect_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> having_side_effect
val __having_side_effect_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> having_side_effect
include Core_kernel.Bin_prot.Binable.S with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

val bin_shape_t : Bin_prot.Shape.t
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val compare : t -> t -> int
val all : t list
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val __t_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> 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