package hacl-star

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SharedDefs.CBytesSource

Representation of Bytes.t buffers

Sourcetype t = Bytes.t
Sourcetype buf = Bytes.t Ctypes.ocaml
Sourceval empty : bytes
Sourceval size_uint32 : bytes -> Unsigned.uint32
Sourceval ctypes_buf : bytes -> buf
Sourceval ctypes_buf_with_offset : bytes -> int -> buf
Sourceval size : bytes -> int
Sourceval equal : bytes -> bytes -> bool
Sourceval make : int -> bytes
Sourceval disjoint : bytes -> bytes -> bool
Sourceval sub : bytes -> int -> int -> bytes
Sourceval copy : bytes -> bytes
Sourceval z_compare : bytes -> Z.t -> int
OCaml

Innovation. Community. Security.