Definition of Validity #558
Annotations
1 error and 1 warning
|
build:
theories/AutoSubst/unscoped.v#L104
Unknown scope delimiting key _fscope.
|
|
build
Argument B was previously inferred to be in the empty scope stack
|