fixup! Start proving declarative typing instance of generic typing. #483
jpoiretAnnotations
1 error and 3 warnings
|
build:
theories/LogicalRelation.v#L121
Syntax error: ':' or '@' expected after [term level 50] (in [term]).
|
|
build
Argument B was previously inferred to be in scope type_scope but is
|
|
build
Argument B was previously inferred to be in scope type_scope but is
|
|
build
Argument B was previously inferred to be in the empty scope stack
|