A collection of lattices in OCaml This library contains a set of implemented and instantiable lattices. These lattices properties are QuickChecked using (an updated version) of LCheck.
