diff options
| author | Thomas Bauereiss | 2020-02-21 17:48:50 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-02-21 18:05:04 +0000 |
| commit | 54f2e83909f9e7b831d12c10caf0c1ed7ec2aa08 (patch) | |
| tree | bfe344e26348ec9b780c67c719c865c57000066b /src/graph.mli | |
| parent | 48b058048c0cf7fae12345568b83166f42f116a2 (diff) | |
Distinguish type identifiers in topological sorting
Fixes #61
Diffstat (limited to 'src/graph.mli')
0 files changed, 0 insertions, 0 deletions