diff options
| author | Pierre-Marie Pédrot | 2020-12-13 00:51:52 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-12-14 09:57:54 +0100 |
| commit | 78a0d0a557f4fb6885987e99c4a12a0826d48c9a (patch) | |
| tree | 37879f29d00ef8cf7de83925988f70dffd037cb9 /kernel/vmlambda.ml | |
| parent | d0667eb4a165c065b0d64069641ca0cd39d62219 (diff) | |
Remove most of Reductionops.*_state functions.
There functions export the internal stack representation. The only real user
is unification, which is suffering from major performance issues due to the
naive representation of substitutions in processes.
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions