smt_term_const_u64
rapx
0.7.20
In rapx::
verify::
smt_
check::
common
rapx
::
verify
::
smt_check
::
common
Function
smt_
term_
const_
u64
Copy item path
Source
fn smt_term_const_u64(term: &
SmtTerm
) ->
Option
<
u64
>