pub(super) fn lower_pool<B>( ctx: &mut LowerCtx<'_, '_, '_, B>, extra: Option<f64>, condition: Option<&Condition>, )where B: RotationBackend,