package pkcs11

  1. Overview
  2. Docs
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val to_yojson : t -> Yojson.Safe.t
type domain =
  1. | Info_domain
  2. | Slot_info_domain
  3. | Token_info_domain
  4. | Session_info_domain
  5. | Mechanism_info_domain
  6. | Initialize_domain
  7. | Wait_for_slot_domain
  8. | OTP_signature_info_domain
  9. | Any_domain
val empty : t
val logical_or : t -> t -> t
val (||) : t -> t -> t
val get : flags:t -> flag:t -> bool
val _CKF_TOKEN_PRESENT : t
val _CKF_REMOVABLE_DEVICE : t
val _CKF_HW_SLOT : t
val _CKF_RNG : t
val _CKF_WRITE_PROTECTED : t
val _CKF_LOGIN_REQUIRED : t
val _CKF_USER_PIN_INITIALIZED : t
val _CKF_RESTORE_KEY_NOT_NEEDED : t
val _CKF_CLOCK_ON_TOKEN : t
val _CKF_PROTECTED_AUTHENTICATION_PATH : t
val _CKF_DUAL_CRYPTO_OPERATIONS : t
val _CKF_TOKEN_INITIALIZED : t
val _CKF_SECONDARY_AUTHENTICATION : t
val _CKF_USER_PIN_COUNT_LOW : t
val _CKF_USER_PIN_FINAL_TRY : t
val _CKF_USER_PIN_LOCKED : t
val _CKF_USER_PIN_TO_BE_CHANGED : t
val _CKF_SO_PIN_COUNT_LOW : t
val _CKF_SO_PIN_FINAL_TRY : t
val _CKF_SO_PIN_LOCKED : t
val _CKF_SO_PIN_TO_BE_CHANGED : t
val _CKF_RW_SESSION : t
val _CKF_SERIAL_SESSION : t
val _CKF_ARRAY_ATTRIBUTE : t
val _CKF_HW : t
val _CKF_ENCRYPT : t
val _CKF_DECRYPT : t
val _CKF_DIGEST : t
val _CKF_SIGN : t
val _CKF_SIGN_RECOVER : t
val _CKF_VERIFY : t
val _CKF_VERIFY_RECOVER : t
val _CKF_GENERATE : t
val _CKF_GENERATE_KEY_PAIR : t
val _CKF_WRAP : t
val _CKF_UNWRAP : t
val _CKF_DERIVE : t
val _CKF_EC_F_P : t
val _CKF_EC_F_2M : t
val _CKF_EC_ECPARAMETERS : t
val _CKF_EC_NAMEDCURVE : t
val _CKF_EC_UNCOMPRESS : t
val _CKF_EC_COMPRESS : t
val _CKF_EXTENSION : t
val _CKF_LIBRARY_CANT_CREATE_OS_THREADS : t
val _CKF_OS_LOCKING_OK : t
val _CKF_DONT_BLOCK : t
val _CKF_NEXT_OTP : t
val _CKF_EXCLUDE_TIME : t
val _CKF_EXCLUDE_COUNTER : t
val _CKF_EXCLUDE_CHALLENGE : t
val _CKF_EXCLUDE_PIN : t
val _CKF_USER_FRIENDLY_OTP : t
val to_string : t -> string
val of_string : string -> t
val to_pretty_string : domain -> t -> string
val to_pretty_strings : domain -> t -> string list
val to_json : ?pretty:(t -> string) -> t -> Yojson.Safe.json
val split : domain -> t -> t list * t
val flags_of_domain : domain -> (t * string) list