sig type t = (Rapids.package_id, (Rapids.unit_id, Rapids.version_number * Rapids.release_number, Rapids.glob) Napkin.versioned) Diagnosis.reason type reason = Installability.N.t end