package bap-std

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

Architecture

type x86 = [
  1. | `x86
  2. | `x86_64
]
include sig ... end
val x86_of_sexp : Sexplib.Sexp.t -> x86
val __x86_of_sexp__ : Sexplib.Sexp.t -> x86
val sexp_of_x86 : x86 -> Sexplib.Sexp.t
val all_of_x86 : x86 list
val compare_x86 : x86 -> x86 -> int
val bin_x86 : x86 Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_x86 : x86 Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_x86__ : (int -> x86) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_x86 : x86 Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_x86 : x86 Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_x86 : x86 Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_x86 : x86 Core_kernel.Std.Bin_prot.Type_class.writer
type arm = [
  1. | `armv4
  2. | `armv5
  3. | `armv6
  4. | `armv7
]
include sig ... end
val arm_of_sexp : Sexplib.Sexp.t -> arm
val __arm_of_sexp__ : Sexplib.Sexp.t -> arm
val sexp_of_arm : arm -> Sexplib.Sexp.t
val all_of_arm : arm list
val compare_arm : arm -> arm -> int
val bin_arm : arm Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_arm : arm Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_arm__ : (int -> arm) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_arm : arm Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_arm : arm Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_arm : arm Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_arm : arm Core_kernel.Std.Bin_prot.Type_class.writer
type armeb = [
  1. | `armv4eb
  2. | `armv5eb
  3. | `armv6eb
  4. | `armv7eb
]
include sig ... end
val armeb_of_sexp : Sexplib.Sexp.t -> armeb
val __armeb_of_sexp__ : Sexplib.Sexp.t -> armeb
val sexp_of_armeb : armeb -> Sexplib.Sexp.t
val all_of_armeb : armeb list
val compare_armeb : armeb -> armeb -> int
val bin_armeb : armeb Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_armeb : armeb Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_armeb__ : (int -> armeb) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_armeb : armeb Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_armeb : armeb Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_armeb : armeb Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_armeb : armeb Core_kernel.Std.Bin_prot.Type_class.writer
type thumb = [
  1. | `thumbv4
  2. | `thumbv5
  3. | `thumbv6
  4. | `thumbv7
]
include sig ... end
val thumb_of_sexp : Sexplib.Sexp.t -> thumb
val __thumb_of_sexp__ : Sexplib.Sexp.t -> thumb
val sexp_of_thumb : thumb -> Sexplib.Sexp.t
val all_of_thumb : thumb list
val compare_thumb : thumb -> thumb -> int
val bin_thumb : thumb Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_thumb : thumb Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_thumb__ : (int -> thumb) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_thumb : thumb Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_thumb : thumb Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_thumb : thumb Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_thumb : thumb Core_kernel.Std.Bin_prot.Type_class.writer
type thumbeb = [
  1. | `thumbv4eb
  2. | `thumbv5eb
  3. | `thumbv6eb
  4. | `thumbv7eb
]
include sig ... end
val thumbeb_of_sexp : Sexplib.Sexp.t -> thumbeb
val __thumbeb_of_sexp__ : Sexplib.Sexp.t -> thumbeb
val sexp_of_thumbeb : thumbeb -> Sexplib.Sexp.t
val all_of_thumbeb : thumbeb list
val compare_thumbeb : thumbeb -> thumbeb -> int
val bin_thumbeb : thumbeb Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_thumbeb : thumbeb Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_thumbeb__ : (int -> thumbeb) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_thumbeb : thumbeb Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_thumbeb : thumbeb Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_thumbeb : thumbeb Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_thumbeb : thumbeb Core_kernel.Std.Bin_prot.Type_class.writer
type aarch64 = [
  1. | `aarch64
  2. | `aarch64_be
]
include sig ... end
val aarch64_of_sexp : Sexplib.Sexp.t -> aarch64
val __aarch64_of_sexp__ : Sexplib.Sexp.t -> aarch64
val sexp_of_aarch64 : aarch64 -> Sexplib.Sexp.t
val all_of_aarch64 : aarch64 list
val compare_aarch64 : aarch64 -> aarch64 -> int
val bin_aarch64 : aarch64 Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_aarch64 : aarch64 Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_aarch64__ : (int -> aarch64) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_aarch64 : aarch64 Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_aarch64 : aarch64 Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_aarch64 : aarch64 Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_aarch64 : aarch64 Core_kernel.Std.Bin_prot.Type_class.writer
type ppc = [
  1. | `ppc
  2. | `ppc64
  3. | `ppc64le
]
include sig ... end
val ppc_of_sexp : Sexplib.Sexp.t -> ppc
val __ppc_of_sexp__ : Sexplib.Sexp.t -> ppc
val sexp_of_ppc : ppc -> Sexplib.Sexp.t
val all_of_ppc : ppc list
val compare_ppc : ppc -> ppc -> int
val bin_ppc : ppc Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_ppc : ppc Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_ppc__ : (int -> ppc) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_ppc : ppc Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_ppc : ppc Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_ppc : ppc Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_ppc : ppc Core_kernel.Std.Bin_prot.Type_class.writer
type mips = [
  1. | `mips
  2. | `mipsel
  3. | `mips64
  4. | `mips64el
]
include sig ... end
val mips_of_sexp : Sexplib.Sexp.t -> mips
val __mips_of_sexp__ : Sexplib.Sexp.t -> mips
val sexp_of_mips : mips -> Sexplib.Sexp.t
val all_of_mips : mips list
val compare_mips : mips -> mips -> int
val bin_mips : mips Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_mips : mips Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_mips__ : (int -> mips) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_mips : mips Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_mips : mips Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_mips : mips Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_mips : mips Core_kernel.Std.Bin_prot.Type_class.writer
type sparc = [
  1. | `sparc
  2. | `sparcv9
]
include sig ... end
val sparc_of_sexp : Sexplib.Sexp.t -> sparc
val __sparc_of_sexp__ : Sexplib.Sexp.t -> sparc
val sexp_of_sparc : sparc -> Sexplib.Sexp.t
val all_of_sparc : sparc list
val compare_sparc : sparc -> sparc -> int
val bin_sparc : sparc Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_sparc : sparc Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_sparc__ : (int -> sparc) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_sparc : sparc Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_sparc : sparc Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_sparc : sparc Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_sparc : sparc Core_kernel.Std.Bin_prot.Type_class.writer
type nvptx = [
  1. | `nvptx
  2. | `nvptx64
]
include sig ... end
val nvptx_of_sexp : Sexplib.Sexp.t -> nvptx
val __nvptx_of_sexp__ : Sexplib.Sexp.t -> nvptx
val sexp_of_nvptx : nvptx -> Sexplib.Sexp.t
val all_of_nvptx : nvptx list
val compare_nvptx : nvptx -> nvptx -> int
val bin_nvptx : nvptx Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_nvptx : nvptx Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_nvptx__ : (int -> nvptx) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_nvptx : nvptx Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_nvptx : nvptx Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_nvptx : nvptx Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_nvptx : nvptx Core_kernel.Std.Bin_prot.Type_class.writer
type hexagon = [
  1. | `hexagon
]
include sig ... end
val hexagon_of_sexp : Sexplib.Sexp.t -> hexagon
val __hexagon_of_sexp__ : Sexplib.Sexp.t -> hexagon
val sexp_of_hexagon : hexagon -> Sexplib.Sexp.t
val all_of_hexagon : hexagon list
val compare_hexagon : hexagon -> hexagon -> int
val bin_hexagon : hexagon Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_hexagon : hexagon Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_hexagon__ : (int -> hexagon) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_hexagon : hexagon Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_hexagon : hexagon Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_hexagon : hexagon Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_hexagon : hexagon Core_kernel.Std.Bin_prot.Type_class.writer
type r600 = [
  1. | `r600
]
include sig ... end
val r600_of_sexp : Sexplib.Sexp.t -> r600
val __r600_of_sexp__ : Sexplib.Sexp.t -> r600
val sexp_of_r600 : r600 -> Sexplib.Sexp.t
val all_of_r600 : r600 list
val compare_r600 : r600 -> r600 -> int
val bin_r600 : r600 Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_r600 : r600 Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_r600__ : (int -> r600) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_r600 : r600 Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_r600 : r600 Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_r600 : r600 Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_r600 : r600 Core_kernel.Std.Bin_prot.Type_class.writer
type systemz = [
  1. | `systemz
]
include sig ... end
val systemz_of_sexp : Sexplib.Sexp.t -> systemz
val __systemz_of_sexp__ : Sexplib.Sexp.t -> systemz
val sexp_of_systemz : systemz -> Sexplib.Sexp.t
val all_of_systemz : systemz list
val compare_systemz : systemz -> systemz -> int
val bin_systemz : systemz Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_systemz : systemz Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_systemz__ : (int -> systemz) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_systemz : systemz Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_systemz : systemz Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_systemz : systemz Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_systemz : systemz Core_kernel.Std.Bin_prot.Type_class.writer
type xcore = [
  1. | `xcore
]
include sig ... end
val xcore_of_sexp : Sexplib.Sexp.t -> xcore
val __xcore_of_sexp__ : Sexplib.Sexp.t -> xcore
val sexp_of_xcore : xcore -> Sexplib.Sexp.t
val all_of_xcore : xcore list
val compare_xcore : xcore -> xcore -> int
val bin_xcore : xcore Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_xcore : xcore Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_xcore__ : (int -> xcore) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_xcore : xcore Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_xcore : xcore Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_xcore : xcore Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_xcore : xcore Core_kernel.Std.Bin_prot.Type_class.writer
include sig ... end
val __t_of_sexp__ : Sexplib.Sexp.t -> t
val all : t list
val of_string : string -> t option

of_string s will try to be clever and to capture all commonly known synonyms, e.g., of_string "i686" will work

val addr_size : t -> addr_size

addr_size arch returns an address size for a a given arch

val endian : t -> endian

endian arch returns a word endianness of the arch

arch type implements Regular interface

include Regular.Std.Regular.S with type t := t
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val bin_t : t Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_t : t Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_t : t Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer
val to_string : t -> string
val str : unit -> t -> string
val pps : unit -> t -> string
val ppo : Core_kernel.Std.out_channel -> t -> unit
val pp_seq : Format.formatter -> t Core_kernel.Std.Sequence.t -> unit
val pp : Format.formatter -> t -> unit
val (>=) : t -> t -> bool
val (<=) : t -> t -> bool
val (=) : t -> t -> bool
val (>) : t -> t -> bool
val (<) : t -> t -> bool
val (<>) : t -> t -> bool
val equal : t -> t -> bool
val compare : t -> t -> int
val min : t -> t -> t
val max : t -> t -> t
val ascending : t -> t -> int
val descending : t -> t -> int
val between : t -> low:t -> high:t -> bool
val clamp_exn : t -> min:t -> max:t -> t
val clamp : t -> min:t -> max:t -> t Core_kernel.Or_error.t
module Replace_polymorphic_compare : sig ... end
type comparator_witness
val validate_lbound : min:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check
val validate_ubound : max:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check
val validate_bound : min:t Core_kernel.Maybe_bound.t -> max:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check
val comparator : (t, comparator_witness) Core_kernel.Comparator.comparator
module Map : sig ... end
module Set : sig ... end
val hash : t -> int
val hashable : t Core_kernel.Std.Hashable.Hashtbl.Hashable.t
module Table : sig ... end
module Hash_set : sig ... end
module Hash_queue : sig ... end
type info = string * [ `Ver of string ] * string option
val version : string
val size_in_bytes : ?ver:string -> ?fmt:string -> t -> int
val of_bytes : ?ver:string -> ?fmt:string -> Regular.Std.bytes -> t
val to_bytes : ?ver:string -> ?fmt:string -> t -> Regular.Std.bytes
val blit_to_bytes : ?ver:string -> ?fmt:string -> Regular.Std.bytes -> t -> int -> unit
val of_bigstring : ?ver:string -> ?fmt:string -> Core_kernel.Std.bigstring -> t
val to_bigstring : ?ver:string -> ?fmt:string -> t -> Core_kernel.Std.bigstring
val blit_to_bigstring : ?ver:string -> ?fmt:string -> Core_kernel.Std.bigstring -> t -> int -> unit
module Io : sig ... end
module Cache : sig ... end
val add_reader : ?desc:string -> ver:string -> string -> t Regular.Std.reader -> unit
val add_writer : ?desc:string -> ver:string -> string -> t Regular.Std.writer -> unit
val available_readers : unit -> info list
val default_reader : unit -> info
val set_default_reader : ?ver:string -> string -> unit
val with_reader : ?ver:string -> string -> (unit -> 'a) -> 'a
val available_writers : unit -> info list
val default_writer : unit -> info
val set_default_writer : ?ver:string -> string -> unit
val with_writer : ?ver:string -> string -> (unit -> 'a) -> 'a
val default_printer : unit -> info option
val set_default_printer : ?ver:string -> string -> unit
val with_printer : ?ver:string -> string -> (unit -> 'a) -> 'a
val find_reader : ?ver:string -> string -> t Regular.Std.reader option
val find_writer : ?ver:string -> string -> t Regular.Std.writer option
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