pkcs11 1.0.1 · OCaml Package

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

package pkcs11