voile::syntax::core::redex
fn reduce_variants_with_dbi(variants: Variants, dbi: DBI, arg: &Val) -> Variants