pub fn compile(
  specification_directory: String,
  instantiation_directory: String,
  output_directory: String,
) -> Nil