From ff32cc7dc03fd64ad32c9c89d4bbb9b7538162ff Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Thu, 2 Nov 2023 13:26:10 -0700 Subject: [PATCH] Document new StandardLibrary module --- .../StandardLibrary/src/WrappersInterop.dfy | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/TestModels/dafny-dependencies/StandardLibrary/src/WrappersInterop.dfy b/TestModels/dafny-dependencies/StandardLibrary/src/WrappersInterop.dfy index e4994d81ed..c0a9709aef 100644 --- a/TestModels/dafny-dependencies/StandardLibrary/src/WrappersInterop.dfy +++ b/TestModels/dafny-dependencies/StandardLibrary/src/WrappersInterop.dfy @@ -1,6 +1,14 @@ +// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. +// SPDX-License-Identifier: Apache-2.0 + include "../../libraries/src/Wrappers.dfy" -// TODO: document +// +// Helper functions for extern code to call in order to create common wrapper types. +// Currently necessary to abstract away from differences in TypeDescriptor usage +// in the Java backend across different versions of Dafny, +// but may be useful for other target languages in the future as well. +// module StandardLibrary.Interop { import opened Wrappers