Cryptol.TypeCheck.Depends
data TyDecl
orderTyDecls
orderBinds
class FromDecl d
mkScc
combineMaps
combine
duplicates