Forked from
Iris / Iris
912 commits behind the upstream repository.
-
Robbert Krebbers authoredRobbert Krebbers authored
bi.ref 201 B
The command has indeed failed with message:
In environment
PROP : bi
m : gmap nat nat
The term "m" has type "gmap nat nat" while it is expected to have type
"gmap nat Z" (cannot unify "nat" and "Z").