kdrag.printers.rust

Functions

compile_rust(fun_name, fun_code[, dir])
init_proj([proj_path])
of_sort(s)
rust_module_template(modname, fun_name, fun_code)

kdrag.printers.rust.compile_rust(fun_name, fun_code, dir='/tmp/kdrag_rust')

kdrag.printers.rust.init_proj(proj_path='/tmp/kdrag_rust')

kdrag.printers.rust.of_sort(s: SortRef)

Parameters:

s (SortRef)

kdrag.printers.rust.rust_module_template(modname: str, fun_name: str, fun_code: str)

Parameters:

• modname (str)

• fun_name (str)

• fun_code (str)