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

# Variables

Companion_Default___

# Structs

CompanionStruct_Default___
Dummy__