• Home
• org.dafny
• DafnyRuntime
• 4.5.0
• source code
• nat.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

_System.nat Maven / Gradle / Ivy

// 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;
  }
}