package hacl

You can search for identifiers within the package.

in-package search v0.2.0

Module `Hacl.Secretbox`

type key

val keybytes : int

val zerobytes : int

val boxzerobytes : int

val unsafe_of_bytes : Bigstring.t -> key

val blit_of_bytes : Bigstring.t -> int -> key

val genkey : unit -> key

val box : 
  key:key ->
  nonce:Bigstring.t ->
  msg:Bigstring.t ->
  cmsg:Bigstring.t ->
  unit

val box_open : 
  key:key ->
  nonce:Bigstring.t ->
  cmsg:Bigstring.t ->
  msg:Bigstring.t ->
  bool