package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.3.0.tar.gz

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/Interval_tree/Make_binable/argument-1-Interval/index.html

Parameter `Make_binable.Interval`

type t

include Core_kernel.Bin_prot.Binable.S 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

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 bin_t : t Bin_prot.Type_class.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

type point

val bin_shape_point : Core_kernel.Bin_prot.Shape.t

val bin_size_point : point Core_kernel.Bin_prot.Size.sizer

val bin_write_point : point Core_kernel.Bin_prot.Write.writer

val bin_writer_point : point Core_kernel.Bin_prot.Type_class.writer

val bin_read_point : point Core_kernel.Bin_prot.Read.reader

val __bin_read_point__ : (int -> point) Core_kernel.Bin_prot.Read.reader

val bin_reader_point : point Core_kernel.Bin_prot.Type_class.reader

val bin_point : point Core_kernel.Bin_prot.Type_class.t

val point_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> point

include Interval with type t := t and type point := point

val compare : t -> t -> int

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val compare_point : point -> point -> int

val sexp_of_point : point -> Ppx_sexp_conv_lib.Sexp.t

val lower : t -> point

the lower bound of an interval

val upper : t -> point

the upper bound of an interval