pkcs11
P11_attribute
type 'a t = 'a P11_attribute_type.t * 'a
type pack =
| Pack : 'a t -> pack
val equal_pack : pack -> pack -> Ppx_deriving_runtime.bool
val compare_pack : pack -> pack -> Ppx_deriving_runtime.int
val pp_pack : Ppx_deriving_runtime.Format.formatter -> pack -> Ppx_deriving_runtime.unit
val show_pack : pack -> Ppx_deriving_runtime.string
val pack_to_yojson : pack -> Yojson.Safe.t
val pack_of_yojson : Yojson.Safe.t -> pack Ppx_deriving_yojson_runtime.error_or
val to_string : 'a t -> string
val to_string_pair : 'a t -> string * string
val to_json : 'a t -> Yojson.Safe.json
val compare_types : 'a t -> 'b t -> int
val compare_types_pack : pack -> pack -> int
val compare : 'a t -> 'b t -> int
val equal : 'a t -> 'b t -> bool
val equal_types_pack : pack -> pack -> bool
val equal_values : 'a P11_attribute_type.t -> 'a -> 'a -> bool
type kind =
| Secret
| Public
| Private
| RSA
| EC
val equal_kind : kind -> kind -> Ppx_deriving_runtime.bool
val kinds : pack -> kind list list
kinds returns a list of list. An attribute has kinds A; B; C if one of the lists returned by kinds has at least kinds A; B; C .
kinds
A; B; C
val is : kind list -> pack -> bool
Return whether a has all kinds k.
a
k
val type_ : pack -> P11_attribute_type.pack