Module SharedDefs.AEADDefs

type alg =
| AES128_GCM
| AES256_GCM
| CHACHA20_POLY1305
val alg_definition : alg -> Unsigned.UInt8.t
val key_length : alg -> int
val tag_length : alg -> int
val check_iv_length : int -> alg -> bool
val check_max_pt_length : int -> alg -> bool
val check_sizes : alg:alg -> iv_len:int -> tag_len:int -> ad_len:int -> pt_len:int -> ct_len:int -> unit