Knit22 Extensible Constraint System Constraint system propagates properties through component interconnections Constraint system propagates properties through component interconnections  Knit can detect global errors Constraint system is extensible Constraint system is extensible  In context X, don't do Y  Type system for Modular IP Routers (e.g., Click)  …
{}