This type should be defined in `OpamTypes.ml`.