ion/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/BiabductionSummary/index.html#type-spec">Biabduction.BiabductionSummary.spec</a></span> <span>&#45;&gt;</span> <a href="../Biabduction/BiabductionSummary/NormSpec/index.html#type-t">Biabduction.BiabductionSummary.NormSpec.t</a></code></dt><dd><p>Normalizes names and applies simplifications, soem of which require looking at both pre and post.</p></dd></dl><dl><dt class="spec value" id="val-abstract_junk"><a href="#val-abstra