reverie::fieldswitching::util
pub fn convert_bit_domain<D: Domain, D2: Domain>( input: D::Batch) -> Result<Vec<D2::Batch>, String>