pub fn map_depends<V: TowerValue>(
d: &DependsValue<V>,
f: impl Fn(V) -> Result<V, String>,
) -> Result<V, String>Expand description
f on every branch of a residue-dependent value, or the first error a branch raises.
pub fn map_depends<V: TowerValue>(
d: &DependsValue<V>,
f: impl Fn(V) -> Result<V, String>,
) -> Result<V, String>f on every branch of a residue-dependent value, or the first error a branch raises.