TcInteract
solveInteract
type AtomicInert
data InertSet
emptyInert
updInertSet
extractUnsolved
solveOne
foldISEqCts