pub fn normalize(s: &Schema) -> Schema
The canonical minimal schema equivalent to s: fewest env records, unique up to record naming. See the module doc comment for the algorithm (paper’s Algorithm 2, MinimizeSA).
s