package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Parameter Make_HashFunction_generic.Impl

val hash_alg : SharedDefs.HashDefs.alg option
val hash : C.buf -> Unsigned.uint32 -> C.buf -> unit