Safe HaskellNone

MAlonzo.Code.Relation.Binary.Lattice