Skip to content

feat: Check-in polymorph generated code #3621

feat: Check-in polymorph generated code

feat: Check-in polymorph generated code #3621

Annotations

1 warning

getVersion  /  getDafnyVersion

succeeded Dec 17, 2024 in 5s