package hacl-star

  1. Overview
  2. Docs

Module Hacl.Chacha20_Poly1305_32Source

Sourceval encrypt : t -> t -> t -> t -> t -> t -> unit
Sourceval decrypt : t -> t -> t -> t -> t -> t -> bool