Documentation

Lean.Compiler.IR

@[export lean_ir_compile]
Instances For
    @[export lean_ir_add_boxed_version]
    Instances For