Module SharedDefs.AEADDefsSource

Sourcetype alg =
  1. | AES128_GCM
  2. | AES256_GCM
  3. | CHACHA20_POLY1305
Sourceval alg_definition : alg -> Unsigned.UInt8.t
Sourceval key_length : alg -> int
Sourceval tag_length : alg -> int
Sourceval check_iv_length : int -> alg -> bool
Sourceval check_max_pt_length : int -> alg -> bool
Sourceval check_sizes : alg:alg -> iv_len:int -> tag_len:int -> ad_len:int -> pt_len:int -> ct_len:int -> unit