Nominal2Debruijn.concat : env -> env -> env
Compare changes
A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
This function will be useful to implement certain typing rules that concatenate environments together. For example, in certain formulation of pattern-matching, typing a pattern returns an environment fragment, to be concatenated onto the current environment.