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 `Hash.SHA512`Source

Sourcemodule H : sig ... end

include module type of struct include H end

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 = H.HMAC