test:examples

Dependencies

• base lib:base >=0
• compdata lib:compdata >=0
• ho-rewriting lib:ho-rewriting >=0
• patch-combinators lib:patch-combinators >=0

Reverse dependencies

None.