Module P11_gcm_params
Parameter for AES GCM. In PKCS11 applications:
- the length of
ivcan be any number between 1 and 256. tag_bitscan be any value between 0 and 128.
These invariants are not checked, in order to represent invalid states that DLLs may return.
val equal : t -> t -> Ppx_deriving_runtime.boolval compare : t -> t -> Ppx_deriving_runtime.intval pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unitval show : t -> Ppx_deriving_runtime.stringval to_yojson : t -> Yojson.Safe.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val make : iv:string -> aad:string -> tag_bits:P11_ulong.t -> tval iv : t -> stringval aad : t -> stringval tag_bits : t -> P11_ulong.t