alt-ergo
alt-ergo copied to clipboard
Remove the Typed module
This PR removes the output AST of the legacy typechecker. This AST was still used by the compilation of match expressions in Expr.