Dafny Source-Code Generation API

[m-carrasco]

Hi 👋

Is there a public API for generating Dafny code programmatically? From what I gathered, the closest methods I found were not public.

Best,
Manuel