Skip to content

Fix conversion of Quint nullary polymorphic operators #7116

Fix conversion of Quint nullary polymorphic operators

Fix conversion of Quint nullary polymorphic operators #7116