Calc
Inductive()
Lemma
NewType()
Proof
QExists()
QForAll()
Struct()
axiom()
cond()
define()
prove()
search()
simp()
finsize()
to_verilog()
verilog_decl()
verilog_of_expr()
v (ExprRef)
str