v4.2

copilot

• Version bump (4.2). (#577)
• Bump upper version constraint on filepath. (#570)
• Update struct examples to use generic method implementations. (#564)

copilot-core

• Version bump (4.2). (#577)
• Deprecate fields of Copilot.Core.Expr.UExpr. (#565)
• Increase test coverage. (#555)
• Define generic implementations of Struct and Typed methods. (#564)

copilot-c99

• Version bump (4.2). (#577)
• Remove uses of Copilot.Core.Expr.UExpr.uExprType. (#565)
• Allow using same trigger name in multiple declarations. (#296)
• Bump upper version constraint on filepath. (#570)

copilot-interpreter

• Version bump (4.2). (#577)

copilot-language

• Version bump (4.2). (#577)
• Bump upper version constraint on containers. (#570)

copilot-libraries

• Version bump (4.2). (#577)
• Bump upper version constraint on containers. (#570)

copilot-prettyprinter

• Version bump (4.2). (#577)
• Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)

copilot-theorem

• Version bump (4.2). (#577)
• Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. (#565)
• Bump upper constraint on containers, data-default. (#570)

Full Changelog: v4.1...v4.2