Include TypeDecl.Equation.t in TypeDecl.t