Function export 

pub fn export(
    project: &Project,
    args: &[String],
    game: Option<&dyn GameTools>,
) -> u8

export with args on project, with the game’s tools game if they are at hand (for its check’s controls).