package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Library
Module
Module type
Parameter
Class
Class type

Representation of Bytes.t buffers

type t = Bytes.t
val empty : bytes
val size_uint32 : bytes -> Unsigned.uint32
val ctypes_buf : bytes -> 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