package tezos-hacl-glue-unix

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module H : sig ... end

include module type of struct include H end

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