Convention for extern constructors to match non-externs#6334

ssomayyajula wants to merge 1 commit intomasterdafny-lang/dafny:masterfrom

fix-gh-6333dafny-lang/dafny:fix-gh-6333Copy head branch name to clipboard