pub fn write_interface( interface: String, circuit_name: &str, out_dir: &Option<String>, ) -> Result<[PathWithHash; 2], Error>