Calc
FreshVar()
FreshVars()
Inductive()
Lemma()
NewType()
PTheorem()
Proof
QExists()
QForAll()
QImplies()
Struct()
Theorem()
axiom()
cond()
define()
prove()
search()
simp()
symdef()
finsize()
VerusModule
compile_rust()
datatype_sort()
init_proj()
mangle_name()
of_expr()
of_sort()
rust_module_template()
Mangle a name to be a valid Rust identifier >>> mangle_name(“my-fun”) ‘my_KDHYPH_fun’ >>> mangle_name(“my.fun”) ‘my_KDDOT_fun’
name (str)
str