ParentFull threadlkuty·Like in the Dafny pogramming language. Cfr. https://www.youtube.com/watch?v=oLS_y842fMcView on HN