Module `P11_attribute_type`

type not_implemented = | NOT_IMPLEMENTED of string
type 'a t = | CKA_CLASS : P11_object_class.t t | CKA_TOKEN : bool t | CKA_PRIVATE : bool t | CKA_LABEL : string t | CKA_VALUE : string t | CKA_TRUSTED : bool t | CKA_CHECK_VALUE : not_implemented t | CKA_KEY_TYPE : P11_key_type.t t | CKA_SUBJECT : string t | CKA_ID : string t | CKA_SENSITIVE : bool t | CKA_ENCRYPT : bool t | CKA_DECRYPT : bool t | CKA_WRAP : bool t | CKA_UNWRAP : bool t | CKA_SIGN : bool t | CKA_SIGN_RECOVER : bool t | CKA_VERIFY : bool t | CKA_VERIFY_RECOVER : bool t | CKA_DERIVE : bool t | CKA_START_DATE : not_implemented t | CKA_END_DATE : not_implemented t | CKA_MODULUS : P11_bigint.t t | CKA_MODULUS_BITS : P11_ulong.t t | CKA_PUBLIC_EXPONENT : P11_bigint.t t | CKA_PRIVATE_EXPONENT : P11_bigint.t t | CKA_PRIME_1 : P11_bigint.t t | CKA_PRIME_2 : P11_bigint.t t | CKA_EXPONENT_1 : P11_bigint.t t | CKA_EXPONENT_2 : P11_bigint.t t | CKA_COEFFICIENT : P11_bigint.t t | CKA_PRIME : P11_bigint.t t | CKA_SUBPRIME : P11_bigint.t t | CKA_BASE : P11_bigint.t t | CKA_PRIME_BITS : P11_ulong.t t | CKA_SUBPRIME_BITS : P11_ulong.t t | CKA_VALUE_LEN : P11_ulong.t t | CKA_EXTRACTABLE : bool t | CKA_LOCAL : bool t | CKA_NEVER_EXTRACTABLE : bool t | CKA_ALWAYS_SENSITIVE : bool t | CKA_KEY_GEN_MECHANISM : P11_key_gen_mechanism.t t | CKA_MODIFIABLE : bool t | CKA_EC_PARAMS : string t | CKA_EC_POINT : string t | CKA_ALWAYS_AUTHENTICATE : bool t | CKA_WRAP_WITH_TRUSTED : bool t | CKA_WRAP_TEMPLATE : not_implemented t | CKA_UNWRAP_TEMPLATE : not_implemented t | CKA_ALLOWED_MECHANISMS : not_implemented t | CKA_CS_UNKNOWN : Unsigned.ULong.t -> not_implemented t

module Encoding : sig ... end

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 compare : 'a t -> 'b t -> int

type (_, _) comparison = | Equal : ('a, 'a) comparison | Not_equal : int -> ('a, 'b) comparison

val compare' : 'a t -> 'b t -> ('a, 'b) comparison
val equal : 'a t -> 'b t -> bool
val of_string : string -> pack
val to_string : 'a t -> string
val pack_to_json : pack -> Yojson.Safe.t
val elements : pack list
val known_attribute_types : string list