Michael Goulet f494036530 Make ProofTreeBuilder actually generic over interner

2024-05-28 11:10:11 -04:00

..

analyse.rs

refactor analyse visitor to instantiate states in order

2024-05-28 04:54:01 +00:00

build.rs

Make ProofTreeBuilder actually generic over interner

2024-05-28 11:10:11 -04:00

mod.rs

proof trees: use for intercrate_ambiguity_causes

2023-09-21 08:17:58 +02:00