diff options
| author | Hugo Herbelin | 2015-11-19 22:36:48 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-05 09:54:23 +0100 |
| commit | f66e604a9d714ee9dba09234d935ee208bc89d97 (patch) | |
| tree | eef297f9dc05464acebeb1839c4ee979d503195f /engine/termops.mli | |
| parent | ff8d99117f142dd6851eb7cecc0ae84ec8642fe1 (diff) | |
Experimenting documentation of the Vars.subst functions.
Related questions:
- What balance to find between precision and conciseness?
- What convention to follow for typesetting the different components
of the documentation is unclear?
New tentative type substl to emphasize that substitutions (for substl)
are represented the other way round compared to instances for
application (applist), though there are represented the same way
(i.e. most recent/dependent component on top) as instances of evars
(mkEvar).
Also removing unused subst*_named_decl functions (at least
substnl_named_decl is somehow non-sense).
Diffstat (limited to 'engine/termops.mli')
0 files changed, 0 insertions, 0 deletions