package tezos-hacl

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `SHA512.H`Source

Sourcetype state = Hacl_star.EverCrypt.Hash.t

Sourceval size : int

Sourceval init : unit -> Hacl_star.EverCrypt.Hash.t

val update : 
  Hacl_star.EverCrypt.Hash.t ->
  Hacl_star.SharedDefs.CBytes.t ->
  unit

Sourceval finish : Hacl_star.EverCrypt.Hash.t -> Hacl_star.SharedDefs.CBytes.t

Sourceval digest : Hacl_star.SharedDefs.CBytes.t -> Hacl_star.SharedDefs.CBytes.t

Sourcemodule HMAC : sig ... end