Store the whole def in `Defintion` and introduce `QuintDeclaration` #2495

Sign in to view logs

Annotations

7 errors and 1 warning

Property 'reference' does not exist on type 'Definition'.

Property 'reference' does not exist on type 'Definition'.

Property 'defs' does not exist on type 'QuintModule'.

Parameter 'symbols' implicitly has an 'any' type.

Parameter 'def' implicitly has an 'any' type.

'"@informalsystems/quint"' has no exported member named 'prettyQuintDef'. Did you mean 'prettyQuintEx'?

Process completed with exit code 2.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-node@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The logs for this run have expired and are no longer available.