diff options
author | Florian Diebold <[email protected]> | 2021-04-03 16:40:56 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 13:08:54 +0100 |
commit | 77d974ae6b73f8b733f12e18d220fa8c4fc1ee38 (patch) | |
tree | 0003a7571759bd3db294c497af18870c6692679b /crates/mbe/src/lib.rs | |
parent | 855a739ebf736db8a9a66e0e073c34631275fb22 (diff) |
Replace all the types by their Chalk versions
Diffstat (limited to 'crates/mbe/src/lib.rs')
0 files changed, 0 insertions, 0 deletions