Module P11_flagsSource

Sourceval compare : t -> t -> Ppx_deriving_runtime.int
Sourceval to_yojson : t -> Yojson.Safe.t
Sourcetype 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
Sourceval empty : t
Sourceval logical_or : t -> t -> t
Sourceval (||) : t -> t -> t
Sourceval get : flags:t -> flag:t -> bool
Sourceval _CKF_TOKEN_PRESENT : t
Sourceval _CKF_REMOVABLE_DEVICE : t
Sourceval _CKF_HW_SLOT : t
Sourceval _CKF_RNG : t
Sourceval _CKF_WRITE_PROTECTED : t
Sourceval _CKF_LOGIN_REQUIRED : t
Sourceval _CKF_USER_PIN_INITIALIZED : t
Sourceval _CKF_RESTORE_KEY_NOT_NEEDED : t
Sourceval _CKF_CLOCK_ON_TOKEN : t
Sourceval _CKF_PROTECTED_AUTHENTICATION_PATH : t
Sourceval _CKF_DUAL_CRYPTO_OPERATIONS : t
Sourceval _CKF_TOKEN_INITIALIZED : t
Sourceval _CKF_SECONDARY_AUTHENTICATION : t
Sourceval _CKF_USER_PIN_COUNT_LOW : t
Sourceval _CKF_USER_PIN_FINAL_TRY : t
Sourceval _CKF_USER_PIN_LOCKED : t
Sourceval _CKF_USER_PIN_TO_BE_CHANGED : t
Sourceval _CKF_SO_PIN_COUNT_LOW : t
Sourceval _CKF_SO_PIN_FINAL_TRY : t
Sourceval _CKF_SO_PIN_LOCKED : t
Sourceval _CKF_SO_PIN_TO_BE_CHANGED : t
Sourceval _CKF_RW_SESSION : t
Sourceval _CKF_SERIAL_SESSION : t
Sourceval _CKF_ARRAY_ATTRIBUTE : t
Sourceval _CKF_HW : t
Sourceval _CKF_ENCRYPT : t
Sourceval _CKF_DECRYPT : t
Sourceval _CKF_DIGEST : t
Sourceval _CKF_SIGN : t
Sourceval _CKF_SIGN_RECOVER : t
Sourceval _CKF_VERIFY : t
Sourceval _CKF_VERIFY_RECOVER : t
Sourceval _CKF_GENERATE : t
Sourceval _CKF_GENERATE_KEY_PAIR : t
Sourceval _CKF_WRAP : t
Sourceval _CKF_UNWRAP : t
Sourceval _CKF_DERIVE : t
Sourceval _CKF_EC_F_P : t
Sourceval _CKF_EC_F_2M : t
Sourceval _CKF_EC_ECPARAMETERS : t
Sourceval _CKF_EC_NAMEDCURVE : t
Sourceval _CKF_EC_UNCOMPRESS : t
Sourceval _CKF_EC_COMPRESS : t
Sourceval _CKF_EXTENSION : t
Sourceval _CKF_LIBRARY_CANT_CREATE_OS_THREADS : t
Sourceval _CKF_OS_LOCKING_OK : t
Sourceval _CKF_DONT_BLOCK : t
Sourceval _CKF_NEXT_OTP : t
Sourceval _CKF_EXCLUDE_TIME : t
Sourceval _CKF_EXCLUDE_COUNTER : t
Sourceval _CKF_EXCLUDE_CHALLENGE : t
Sourceval _CKF_EXCLUDE_PIN : t
Sourceval _CKF_USER_FRIENDLY_OTP : t
Sourceval to_string : t -> string
Sourceval of_string : string -> t
Sourceval to_pretty_string : domain -> t -> string
Sourceval to_pretty_strings : domain -> t -> string list
Sourceval to_json : ?pretty:(t -> string) -> t -> Yojson.Safe.t
Sourceval split : domain -> t -> t list * t
Sourceval flags_of_domain : domain -> (t * string) list