Lowering to C code?


if I have a schedule in TIR, is there a way to generate C code for this somehow, e.g. via microTVM? I would like to know if I understood the scheduling primitives, tensorization etc. correctly and the simplest way to do so would be to look at the resulting C code.