Mathematical constant e (Euler's number).
()
| 4646 | |
| 4647 | |
| 4648 | def E() -> ArithRef: |
| 4649 | """Mathematical constant e (Euler's number).""" |
| 4650 | return ArithRef(_AstVar("Real.exp_one"), RealSort(), frozenset()) |
| 4651 | |
| 4652 | |
| 4653 | def MkInfinitesimal(name: str = "epsilon") -> ArithRef: |