CI #1303

Annotations

10 warnings

Notations "WP _ @ _ ; _ {{ _ } }" defined at level 20 with arguments

Notations "WP _ @ _ {{ _ } }" defined at level 20 with arguments

Notations "WP _ @ _ ? {{ _ } }" defined at level 20 with arguments

Notations "WP _ {{ _ } }" defined at level 20 with arguments constr

Notations "WP _ ? {{ _ } }" defined at level 20 with arguments

Notations "WP _ @ _ ; _ [{ _ } ]" defined at level 20 with arguments

Notations "WP _ @ _ [{ _ } ]" defined at level 20 with arguments

Notations "WP _ @ _ ? [{ _ } ]" defined at level 20 with arguments

Notations "WP _ [{ _ } ]" defined at level 20 with arguments constr

Notations "WP _ ? [{ _ } ]" defined at level 20 with arguments