1
2 open Lattice;
3
4
2
5 (** basic properties of "&&" and "||" **)
3 (** basic properties of "&&" and "||" **)
6
7 (* unique existence *)
5 (* unique existence *)