C# (CSharp) Isabelle.Ast TypeIsa.Dispatch示例

示例#1

 public R Visit(TypeIsa t)
 {
     return(t.Dispatch(this));
 }