package jazz.lang;

///////////////////////////////////////////////////////////////////////////////
//
//                   Lattices (sets, boolean algebras, etc.)
//
///////////////////////////////////////////////////////////////////////////////

public interface Lattice {}