software.amazon.smithy.dafny.conversion

Classes

• ToDafny
• ToDafny.Aggregate
• ToDafny.Simple
• ToNative
• ToNative.Aggregate
• ToNative.Simple