Tool library for RepIR