Function tiger_lib::add_loaded_mod_root

pub fn add_loaded_mod_root(label: String)

Record a secondary mod to be loaded before the one being validated. label is what it should be called in the error reports; ideally only a few characters long.