Module TypeDecl.Equation