Searched defs:telViewUpToPathBoundary (Results 1 – 1 of 1) sorted by relevance
409 telViewUpToPathBoundary' 0 t = return $ (TelV EmptyTel t,[]) function410 telViewUpToPathBoundary' n t = do function443 telViewUpToPathBoundary i a = do function