AutomatedReasoningCheckResult module-attribute ¶ AutomatedReasoningCheckResult: TypeAlias = Literal[ "VALID", "INVALID", "SATISFIABLE", "IMPOSSIBLE", "TRANSLATION_AMBIGUOUS", "TOO_COMPLEX", "NO_TRANSLATION", ] Used by AsyncBedrockClient Operations create_automated_reasoning_policy_test_case update_automated_reasoning_policy_test_case BedrockClient Operations create_automated_reasoning_policy_test_case update_automated_reasoning_policy_test_case