pkcs11
  1. Overview
  2. Docs
type not_implemented =
  1. | NOT_IMPLEMENTED of string
type 'a t =
  1. | CKA_CLASS : P11_object_class.t t
  2. | CKA_TOKEN : bool t
  3. | CKA_PRIVATE : bool t
  4. | CKA_LABEL : string t
  5. | CKA_VALUE : string t
  6. | CKA_TRUSTED : bool t
  7. | CKA_CHECK_VALUE : not_implemented t
  8. | CKA_KEY_TYPE : P11_key_type.t t
  9. | CKA_SUBJECT : string t
  10. | CKA_ID : string t
  11. | CKA_SENSITIVE : bool t
  12. | CKA_ENCRYPT : bool t
  13. | CKA_DECRYPT : bool t
  14. | CKA_WRAP : bool t
  15. | CKA_UNWRAP : bool t
  16. | CKA_SIGN : bool t
  17. | CKA_SIGN_RECOVER : bool t
  18. | CKA_VERIFY : bool t
  19. | CKA_VERIFY_RECOVER : bool t
  20. | CKA_DERIVE : bool t
  21. | CKA_START_DATE : not_implemented t
  22. | CKA_END_DATE : not_implemented t
  23. | CKA_MODULUS : P11_bigint.t t
  24. | CKA_MODULUS_BITS : P11_ulong.t t
  25. | CKA_PUBLIC_EXPONENT : P11_bigint.t t
  26. | CKA_PRIVATE_EXPONENT : P11_bigint.t t
  27. | CKA_PRIME_1 : P11_bigint.t t
  28. | CKA_PRIME_2 : P11_bigint.t t
  29. | CKA_EXPONENT_1 : P11_bigint.t t
  30. | CKA_EXPONENT_2 : P11_bigint.t t
  31. | CKA_COEFFICIENT : P11_bigint.t t
  32. | CKA_PRIME : P11_bigint.t t
  33. | CKA_SUBPRIME : P11_bigint.t t
  34. | CKA_PRIME_BITS : P11_ulong.t t
  35. | CKA_SUBPRIME_BITS : P11_ulong.t t
  36. | CKA_VALUE_LEN : P11_ulong.t t
  37. | CKA_EXTRACTABLE : bool t
  38. | CKA_LOCAL : bool t
  39. | CKA_NEVER_EXTRACTABLE : bool t
  40. | CKA_ALWAYS_SENSITIVE : bool t
  41. | CKA_KEY_GEN_MECHANISM : P11_key_gen_mechanism.t t
  42. | CKA_MODIFIABLE : bool t
  43. | CKA_EC_PARAMS : Key_parsers.Asn1.EC.Params.t t
  44. | CKA_EC_POINT : Key_parsers.Asn1.EC.point t
  45. | CKA_ALWAYS_AUTHENTICATE : bool t
  46. | CKA_WRAP_WITH_TRUSTED : bool t
  47. | CKA_WRAP_TEMPLATE : not_implemented t
  48. | CKA_UNWRAP_TEMPLATE : not_implemented t
  49. | CKA_ALLOWED_MECHANISMS : not_implemented t
  50. | CKA_CS_UNKNOWN : Unsigned.ULong.t -> not_implemented t
module Encoding : sig ... end
type pack =
  1. | Pack : 'a t -> pack
val equal_pack : pack -> pack -> Ppx_deriving_runtime.bool
val compare_pack : pack -> pack -> Ppx_deriving_runtime.int
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 =
  1. | Equal : ('a, 'a) comparison
  2. | 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.json
val elements : pack list
val known_attribute_types : string list