Documentation

Lean.Compiler.NameMangling

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