Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
None
-
None
-
QO 2021-12-13, QO 2021-12-27, QO 2022-01-10
Description
The idea is to provide an interface like bindAboveBelow<Top, Bottom>(abt) that allows unit tests to assert on the structure of an ABT without printing it. For motivation, cascades uses this sort of thing in the logical rewriter.