concepts.dsl.expression.is_forall_expr#

is_forall_expr(expr)[source]#
Parameters:

expr (Expression) –

Return type:

bool