Categorygithub.com/dafny-lang/DafnyRuntimeGo/v4System_
package
4.9.2
Repository: https://github.com/dafny-lang/dafnyruntimego.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
2
Dependents
172
Files
37 SLOC

# Functions

New_Nat_
No description provided by the author
Type_Nat_
No description provided by the author

# Variables

Companion_Nat_
No description provided by the author

# Structs

CompanionStruct_Nat_
No description provided by the author
Dummy__
No description provided by the author
Definition of class Nat.