```python from cre import Var from cre.default_ops import Add Double = Add(x,x) print(Double) ``` ``` Add([x:float64], {1}) ```