- Renamed the cases of TraversalStatus for clarity. - Created the Relation and PartialFunction type aliases to simplify the parameters of 'traverse' and 'digraph'. - Added some documentation comments.
- Renamed the cases of TraversalStatus for clarity.
- Created the Relation and PartialFunction type aliases to simplify the parameters of 'traverse' and 'digraph'.
- Added some documentation comments.

YaccConstructor/facio,emavchun/facio,jack-pappas/facio,YaccConstructor/facio,emavchun/facio