wrapper mixin step0 #1033

Annotations

1 error and 11 warnings

HB: all mixins must have the same key

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

ID is linear: name it _ID (discard) or ID_ (fresh variable)

KID is linear: name it _KID (discard) or KID_ (fresh variable)

ID is linear: name it _ID (discard) or ID_ (fresh variable)

constant coq.lookup! has no declared type.

constant coq.gref->modname has no declared type.

Key is linear: name it _Key (discard) or Key_ (fresh variable)

N0 is linear: name it _N0 (discard) or N0_ (fresh variable)

Mixin is linear: name it _Mixin (discard) or Mixin_ (fresh variable)

Body is linear: name it _Body (discard) or Body_ (fresh variable)

N0 is linear: name it _N0 (discard) or N0_ (fresh variable)