Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package tezos-hacl
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Hacl.SecretboxSource
Source
val secretbox :
key:Hacl_star.SharedDefs.CBytes.t ->
nonce:Hacl_star.SharedDefs.CBytes.t ->
msg:Hacl_star.SharedDefs.CBytes.t ->
cmsg:Hacl_star.SharedDefs.CBytes.t ->
unitSource
val secretbox_open :
key:Hacl_star.SharedDefs.CBytes.t ->
nonce:Hacl_star.SharedDefs.CBytes.t ->
cmsg:Hacl_star.SharedDefs.CBytes.t ->
msg:Hacl_star.SharedDefs.CBytes.t ->
bool