class type logicVisitor =A visitor interface for traversing Logic expressions and predicates. Create instantiations of this type by specializing the classobject
..end
Logic.nopLogicVisitor
.method vexp : exp -> exp visitAction
method vpred : pred -> pred visitAction