diff --git a/invariant/runtime/evaluation.py b/invariant/runtime/evaluation.py index 83f28d6..f667228 100644 --- a/invariant/runtime/evaluation.py +++ b/invariant/runtime/evaluation.py @@ -121,7 +121,7 @@ def eval(expr_or_list, variable_store, globals, evaluation_context=None, return_ return_variable_domains: If True, also returns any new variable domains derived during evaluation. partial: If True, returns Unknown if any part of the expression is unknown. If False, raises an exception when an unknown variable is encountered. - assume_bool: Specifies whether it is safe to assume the the list of expressions is a boolean expression. If True, + assume_bool: Specifies whether it is safe to assume the list of expressions is a boolean expression. If True, the evaluation will be short-circuited in order of the provided expressions. Returns: @@ -640,4 +640,4 @@ def visit_ObjectLiteral(self, node: ObjectLiteral): return {self.visit(entry.key): self.visit(entry.value) for entry in node.entries} def visit_ArrayLiteral(self, node: ArrayLiteral): - return [self.visit(entry) for entry in node.elements] \ No newline at end of file + return [self.visit(entry) for entry in node.elements]