Lines Matching refs:subForest
289 calcTreeDepth Node { subForest = f } (d:ds) =
384 Node { subForest = children }:_ ->
452 (True, cache@((_,Node { subForest = forest}:_):_)) -> (length forest, cache)
503 paths path Node { subForest = ts } =
546 subForest = for}:next) -> function
550 subForest = for }:next, function
603 subForest = for}:next) -> function
608 subForest = for }:next, toggle) function
659 subForest = for}:next) -> function
663 subForest = for }:next)) function
669 subForest = for }:next) function