Categorygithub.com/dafny-lang/dafnySourceDafnyRuntimeDafnyRuntimeGoSystem_
package
4.8.1+incompatible
Repository: https://github.com/dafny-lang/dafny.git
Documentation: pkg.go.dev
Versions
1
Dependencies
2
Dependents
0
Files
36 SLOC

# Functions

New_Nat_
Type_Nat_

# Variables

Companion_Nat_

# Structs

CompanionStruct_Nat_
Dummy__
Definition of class Nat.