-
dimitris authored
pretty much as we do for mkTcEqPred. Ugly and delicate but we have to rething the subkinding story. For now I am doing the same thing as mkTcEqPred.
1cc92e93
pretty much as we do for mkTcEqPred. Ugly and delicate but we have to rething the subkinding story. For now I am doing the same thing as mkTcEqPred.