pub fn write_interface( interface: String, circuit_name: &str, out_dir: &Option<String>, ) -> Result<(), Error>