is_raw_pointer_ty
rapx
0.7.20
In rapx::
verify::
smt_
check::
alias
rapx
::
verify
::
smt_check
::
alias
Function
is_
raw_
pointer_
ty
Copy item path
Source
fn is_raw_pointer_ty(ty:
Ty
<'_>) ->
bool