diff options
| author | Hugo Herbelin | 2018-10-09 21:30:55 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-10-30 13:34:11 +0100 |
| commit | b3748d72cec999467250216a002d6403093622d0 (patch) | |
| tree | 873425079f93ba42b64debb9714262e595d99faa /kernel/nativelambda.ml | |
| parent | 0ac673e562c34245e4e48efc428d808e917be79b (diff) | |
Generalizing the various evar_map printers in Termops over an environment.
This is a step towards limiting calls to the global environment.
Incidentally unify naming evd -> sigma in Termops.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions