rapx
0.1.9
In rapx::
analysis::
senryx::
contracts::
contract
rapx
::
analysis
::
senryx
::
contracts
::
contract
Function
handle_value_op
Copy item path
source
pub fn handle_value_op<T:
PartialEq
+
PartialOrd
>( left: &
(T, T)
, op: &
Op
, right:
&T
, ) ->
bool