package jazz.lang;

///////////////////////////////////////////////////////////////////////////////
//
//                  Boolean algebras (booleans, nets, bdds, etc.)
//
///////////////////////////////////////////////////////////////////////////////

public interface BooleanAlgebra extends Lattice {
}