assume

assume(val: Bool)

Signals to the optimizer that the condition is always true. This allows the optimizer to optimize the code.

Args:

• ​val (Bool): The input value which is assumed to be True.