TcInteract

solveInteract

type AtomicInert

data InertSet

emptyInert

updInertSet

extractUnsolved

solveOne

foldISEqCts