Function write_instances

pub fn write_instances(instances: &[&[Fr]], path: impl AsRef<Path>)