Type Definition prop::path_semantics::Normalise

type Normalise<A, B, C, D> = (Min<Min<A, B>, Min<C, D>>, Min<Max<Min<A, B>, Min<C, D>>, Min<Max<A, B>, Max<C, D>>>, Max<Max<Min<A, B>, Min<C, D>>, Min<Max<A, B>, Max<C, D>>>, Max<Max<A, B>, Max<C, D>>);

Normalise 4 LProps (sorted ascending by propositional level).