Fan.Sys.Err.@typeof C# (CSharp) Method

        public override Type @typeof()
        {
            return Sys.ErrType;
        }

 public void verifyErr(Type errType, Func f)
 {
     try
     {
         f.call(this);
     }
     catch (Err.Val e)
     {
         if (verbose)
         {
             System.Console.WriteLine("  verifyErr: " + e);
         }
         if (e.err().@typeof() == errType || errType == null)
         {
             verifyCount++; return;
         }
         fail(e.err().@typeof() + " thrown, expected " + errType);
     }
     catch (System.Exception e)
     {
         if (verbose)
         {
             System.Console.WriteLine("  verifyErr: " + e);
         }
         Err err = Fan.Sys.Err.make(e);
         if (err.@typeof() == errType || errType == null)
         {
             verifyCount++; return;
         }
         fail(e.GetType() + " thrown, expected " + errType);
     }
     fail("No err thrown, expected " + errType);
 }