normalize_init_ty_name
rapx
0.7.20
In rapx::
verify::
smt_
check::
common
rapx
::
verify
::
smt_check
::
common
Function
normalize_
init_
ty_
name
Copy item path
Source
fn normalize_init_ty_name(ty_name: &
str
) ->
String