package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Representation of Bytes.t buffers

type t = Stdlib.Bytes.t

type buf = Stdlib.Bytes.t Ctypes.ocaml

val empty : bytes

val size_uint32 : bytes -> Unsigned.uint32

val ctypes_buf : bytes -> buf

val ctypes_buf_with_offset : bytes -> int -> buf

val size : bytes -> int

val equal : bytes -> bytes -> bool

val make : int -> bytes

val disjoint : bytes -> bytes -> bool

val sub : bytes -> int -> int -> bytes

val z_compare : bytes -> Z.t -> int