config.cmo:
config.cmx:
wrappi_globals.cmi: wrappi_types.cmi
wrappi_globals.cmo: wrappi_types.cmi wrappi_globals.cmi
wrappi_globals.cmx: wrappi_types.cmx wrappi_globals.cmi