1 2 3 4
//Contains the lemma -> index maps generated by phs in the build script include!(concat!(env!("OUT_DIR"), "/maps.rs"));