package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module C : SharedDefs.Buffer

module Impl : sig ... end

Signature

type bytes = C.t

val digest_len : all_hash_alg -> int

module Noalloc : sig ... end

val hash : bytes -> bytes