pub(crate) fn generate(
formats: &[Rc<InstructionFormat>],
all_inst: &Vec<Rc<InstructionContent>>,
isle_numerics_filename: &str,
rust_numerics_filename: &str,
isle_opt_filename: &str,
isle_lower_filename: &str,
isle_dir: &Path,
) -> Result<(), Error>