예제 #1
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return(visitor.VisitQKeyValue(this));
 }
예제 #2
0
파일: AbsyQuant.cs 프로젝트: qunyanm/boogie 
 public override Absy StdDispatch(StandardVisitor visitor) {
   return visitor.VisitQKeyValue(this);
 }