package tezos-hacl

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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__EverCrypt.bytes -> unit

val finish : Hacl_star.EverCrypt.Hash.t -> Hacl_star__EverCrypt.bytes

val digest : Hacl_star__EverCrypt.bytes -> Hacl_star__EverCrypt.bytes

module HMAC : sig ... end