val to_yojson : t -> Yojson.Safe.ttype domain = | Info_domain| Slot_info_domain| Token_info_domain| Session_info_domain| Mechanism_info_domain| Initialize_domain| Wait_for_slot_domain| OTP_signature_info_domain| Any_domain
val logical_or : t -> t -> tval get : flags:t -> flag:t -> boolval _CKF_TOKEN_PRESENT : tval _CKF_REMOVABLE_DEVICE : tval _CKF_WRITE_PROTECTED : tval _CKF_LOGIN_REQUIRED : tval _CKF_USER_PIN_INITIALIZED : tval _CKF_RESTORE_KEY_NOT_NEEDED : tval _CKF_CLOCK_ON_TOKEN : tval _CKF_PROTECTED_AUTHENTICATION_PATH : tval _CKF_DUAL_CRYPTO_OPERATIONS : tval _CKF_TOKEN_INITIALIZED : tval _CKF_SECONDARY_AUTHENTICATION : tval _CKF_USER_PIN_COUNT_LOW : tval _CKF_USER_PIN_FINAL_TRY : tval _CKF_USER_PIN_LOCKED : tval _CKF_USER_PIN_TO_BE_CHANGED : tval _CKF_SO_PIN_COUNT_LOW : tval _CKF_SO_PIN_FINAL_TRY : tval _CKF_SO_PIN_LOCKED : tval _CKF_SO_PIN_TO_BE_CHANGED : tval _CKF_SERIAL_SESSION : tval _CKF_ARRAY_ATTRIBUTE : tval _CKF_SIGN_RECOVER : tval _CKF_VERIFY_RECOVER : tval _CKF_GENERATE_KEY_PAIR : tval _CKF_EC_ECPARAMETERS : tval _CKF_EC_NAMEDCURVE : tval _CKF_EC_UNCOMPRESS : tval _CKF_LIBRARY_CANT_CREATE_OS_THREADS : tval _CKF_OS_LOCKING_OK : tval _CKF_EXCLUDE_TIME : tval _CKF_EXCLUDE_COUNTER : tval _CKF_EXCLUDE_CHALLENGE : tval _CKF_USER_FRIENDLY_OTP : tval to_string : t -> stringval of_string : string -> tval to_pretty_string : domain -> t -> stringval to_pretty_strings : domain -> t -> string listval to_json : ?pretty:(t -> string) -> t -> Yojson.Safe.jsonval flags_of_domain : domain -> (t * string) list