You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
198 B
7 lines
198 B
3 years ago
|
|
||
|
|
def fx_float_to_int(x: float) -> int:
|
||
|
|
"""
|
||
|
|
Symbolic tracing helper to substitute for inbuilt `int`.
|
||
|
|
Hint: Inbuilt `int` can't accept an argument of type `Proxy`
|
||
|
|
"""
|
||
|
|
return int(x)
|