. . . "(** Body, i.e. effective structure of the defined type. *)" .