-
Xavier Leroy authored
The extraction mechanism wants to extract them (because they are in Type, probably). The current opaque definition causes a warning at extraction-time.
eca14936
The extraction mechanism wants to extract them (because they are in Type, probably). The current opaque definition causes a warning at extraction-time.