_System.nat Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of DafnyRuntime Show documentation

Runtime for Dafny programs compiled to Java

The newest version!

// Class nat
// Dafny class nat compiled into Java
package _System;


@SuppressWarnings({"unchecked", "deprecation"})
public class nat {
  public nat() {
  }
  public static boolean _Is(java.math.BigInteger __source) {
    java.math.BigInteger _0_x = __source;
    return (_0_x).signum() != -1;
  }
  private static final dafny.TypeDescriptor _TYPE = dafny.TypeDescriptor.referenceWithInitializer(java.math.BigInteger.class, () -> java.math.BigInteger.ZERO);
  public static dafny.TypeDescriptor _typeDescriptor() {
    return (dafny.TypeDescriptor) (dafny.TypeDescriptor) _TYPE;
  }
}