Module Chacha20_poly1305Source

Sourceval seal : key:string -> nonce:string -> aad:string -> string -> string
Sourceval open_ : key:string -> nonce:string -> aad:string -> string -> string option
Sourceval same : string -> string -> bool