diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 03:01:40 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 03:01:40 -0300 |
| commit | f88aeff9f7a673e945484a31fbcaed647bb3d2fa (patch) | |
| tree | 5aef7f288ec9236a115148b576ce39cd2143cecb /lib/kernel/SubstantialRelation.mli | |
| parent | 51980807ec189732c8fcfa7b37855f29a2630559 (diff) | |
| download | RNT-f88aeff9f7a673e945484a31fbcaed647bb3d2fa.tar.gz RNT-f88aeff9f7a673e945484a31fbcaed647bb3d2fa.zip | |
make subst relation carry the modes instead of build on every call
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions