package tezos-hacl

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : HASH_ALG

type state = Hacl_star.EverCrypt.Hash.t

val size : int

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

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

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

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

module HMAC : sig ... end