package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Library
Module
Module type
Parameter
Class
Class type
type alg =
  1. | AES128_GCM
  2. | AES256_GCM
  3. | 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