TcErrors

reportUnsolved

type ErrEnv

warnDefaulting

flattenForAllErrorTcS

solverDepthErrorTcS