Skip to content

Store the whole def in Defintion and introduce QuintDeclaration #2499

Store the whole def in Defintion and introduce QuintDeclaration

Store the whole def in Defintion and introduce QuintDeclaration #2499