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