~~Cojoin~~

~~scalaz~~

Cont

scalaz

ContT

scalaz

Context

quiver

Conts

scalaz

ContsT

scalaz

clear

quiver

clearPred

quiver

clearSucc

quiver

contains

Graph

context

Graph

contextGraph

Graph

contextOrder

quiver

contexts

Graph

countNodes

Graph

ctx

Decomp GDecomp

cycle

quiver