Up
–
hacl-star
»
Hacl_star
»
SharedFunctors
»
Make_HashFunction
» Noalloc
Module
Make_HashFunction.Noalloc
val
hash :
msg
:bytes
->
digest
:bytes
->
unit