C# (CSharp) Isabelle.Ast OuterDeclVisitor.VisitDefDecl示例

示例#1

文件： OuterAst.cs 项目： gauravpartha/boogie_proofgen

 public override R Dispatch <R>(OuterDeclVisitor <R> visitor)
 {
     return(visitor.VisitDefDecl(this));
 }