diff options
| author | tslil <tslil@posteo.de> | 2026-04-27 15:49:54 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-27 16:08:28 +0100 |
| commit | c5ebf74c917b94c8499fa5cd2e125b04ec7529b4 (patch) | |
| tree | 035d58b1686a2b85f715ffe80c100f24efaa7385 /src/ast.rs | |
| parent | 62cfbb77d4d153cdcc61b0f8c063a358dfcbbc29 (diff) | |
prepare for more work on signatures, in particular this means processing records in telescoped contexts
rework ElementValue, CheckedElement to be type aliases for the generic version over Term : Type
Diffstat (limited to 'src/ast.rs')
0 files changed, 0 insertions, 0 deletions