Agda.TypeChecking.Coverage.SplitTree
type SplitTree
type SplitTrees
data SplitTree' a
type SplitTrees' a
data SplitTreeLabel a
toTree
toTrees
data CName
testSplitTreePrinting