Documentation

Lean.Compiler.NameMangling

@[export lean_name_mangle]
Equations
Instances For
    @[export lean_mk_module_initialization_function_name]
    Equations
    Instances For