Replace defn/chan with calls to the channel model #2330
Annotations
10 warnings
|
Run coq-community/docker-coq-action@v1:
external/stdpp/stdpp/base.v#L1286
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/stdpp/stdpp/base.v#L1284
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/stdpp/stdpp/base.v#L1167
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/stdpp/stdpp/base.v#L1165
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/stdpp/stdpp/base.v#L1096
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/stdpp/stdpp/base.v#L1095
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/record-update/src/RecordSet.v#L114
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/record-update/src/RecordSet.v#L109
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/record-update/src/RecordSet.v#L107
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
Run coq-community/docker-coq-action@v1:
external/record-update/src/RecordSet.v#L105
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
Loading