Sourceval unsafe_of_bytes : bytes -> bytes Sourceval blit_of_bytes : bytes -> int -> bytes Sourceval genkey : unit -> Hacl_star__Hacl.bytes Sourceval secretbox :
key:Hacl_star__Hacl.bytes ->
nonce:Hacl_star__Hacl.bytes ->
msg:Hacl_star__Hacl.bytes ->
cmsg:Hacl_star__Hacl.bytes ->
unit Sourceval secretbox_open :
key:Hacl_star__Hacl.bytes ->
nonce:Hacl_star__Hacl.bytes ->
cmsg:Hacl_star__Hacl.bytes ->
msg:Hacl_star__Hacl.bytes ->
bool