Agda.TypeChecking.Coverage.SplitTree

type SplitTree

type SplitTrees

data SplitTree' a

type SplitTrees' a

Printing a split tree

data SplitTreeLabel a

toTree

toTrees

Generating random split trees for testing

Testing the printer

data CName

testSplitTreePrinting