summaryrefslogtreecommitdiff
path: root/Test/dafny0/Extern2.cs
blob: 2fcaf18b1373a330a51e8bd7523f5571beccc50d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
using System.Numerics;
namespace @Modx {

  public partial class @classx {
    public static BigInteger @Fun1x() {
      return BigInteger.One;
    }
    public static void @Method1x(out BigInteger @x)
    {
      ExternHelloLibrary.ExternHelloLibrary.SayHello();
      @x = BigInteger.One;
    }
  }
}