package hacl-star

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

Module SharedDefs.CBytesSource

Sourcetype t = Bytes.t
Sourcetype buf = Bytes.t Ctypes.ocaml
Sourceval size_uint32 : t -> Unsigned.uint32
Sourceval ctypes_buf : t -> buf
Sourceval size : t -> int
Sourceval equal : t -> t -> bool
Sourceval disjoint : t -> t -> bool