Path	Lines of Code
StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go	16
StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go	115
StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go	79
StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go	46
StandardLibrary/runtimes/go/ImplementationFromDafny-go/SortedSets/externs.go	52
StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go	37
StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go	74
StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go	30
StandardLibrary/runtimes/java/build.gradle.kts	77
StandardLibrary/runtimes/java/settings.gradle.kts	1
StandardLibrary/runtimes/java/src/main/java/ConcurrentCall/__default.java	38
StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/FileIO.java	104
StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/MutableMap.java	57
StandardLibrary/runtimes/java/src/main/java/OsLang/__default.java	34
StandardLibrary/runtimes/java/src/main/java/SortedSets/__default.java	60
StandardLibrary/runtimes/java/src/main/java/StandardLibraryInternal/InternalResult.java	39
StandardLibrary/runtimes/java/src/main/java/String_Compile/__default.java	33
StandardLibrary/runtimes/java/src/main/java/Time/__default.java	43
StandardLibrary/runtimes/java/src/main/java/UTF8/__default.java	65
StandardLibrary/runtimes/java/src/main/java/UUID/__default.java	71
StandardLibrary/runtimes/net/AssemblyInfo.cs	3
StandardLibrary/runtimes/net/Dafny47-Patch.cs	70
StandardLibrary/runtimes/net/Extern/ConcurrentCall.cs	33
StandardLibrary/runtimes/net/Extern/DafnyLibraries.cs	68
StandardLibrary/runtimes/net/Extern/FileIO.cs	66
StandardLibrary/runtimes/net/Extern/OsLang.cs	44
StandardLibrary/runtimes/net/Extern/SortedSets.cs	53
StandardLibrary/runtimes/net/Extern/Time.cs	43
StandardLibrary/runtimes/net/Extern/UTF8.cs	46
StandardLibrary/runtimes/net/Extern/UUID.cs	66
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/MANIFEST.in	1
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/pyproject.toml	44
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/__init__.py	1
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/__init__.py	187
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/abnf.py	41
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/api_key_auth.py	91
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/auth.py	16
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/__init__.py	53
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/aiohttp_client.py	74
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/crt.py	217
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/identity.py	17
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/retries/__init__.py	93
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/async_utils.py	8
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/exceptions.py	5
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/httputils.py	66
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/__init__.py	61
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/auth.py	52
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/blobs.py	164
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/http.py	37
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/identity.py	22
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/interceptor.py	152
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/retries.py	32
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/mediatypes.py	24
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/protocolutils.py	36
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/types.py	4
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/utils.py	104
StandardLibrary/runtimes/python/pyproject.toml	35
StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/__init__.py	2
StandardLibrary/runtimes/rust/Cargo.toml	11
StandardLibrary/runtimes/rust/src/dafny_libraries.rs	114
StandardLibrary/runtimes/rust/src/lib.rs	15
StandardLibrary/runtimes/rust/src/standard_library_externs.rs	77