pub fn epsilon_of(stmts: &[Stmt<'_>], denom: Symbol) -> Option<Epsilon>
The epsilon of the norm whose divisor is denom: the E of the sqrt(… + E) the norm’s desugar assigns to it.
denom
E
sqrt(… + E)