let
normalize f =
let
f =
List
.map
Disj
.normalize f
in
let
f =
List
.sort ~cmp:
PSet
.compare f
in
f