Up
–
mavkit-libs
»
Mavryk_hacl
»
Hacl
» Rand
Module
Hacl.Rand
val
write :
Hacl_star__Hacl
.bytes
->
unit
val
gen :
int
->
Hacl_star__Hacl
.bytes