binop_label
rapx
0.7.20
In rapx::
verify::
smt_
check::
common
rapx
::
verify
::
smt_check
::
common
Function
binop_
label
Copy item path
Source
fn binop_label(op:
BinOp
) -> &'static
str
Expand description
Render a compact binary operator label.