object method pExp : Logic.exp -> Pretty.doc option method pPred : Logic.pred -> Pretty.doc option end