sig type reason = Diagnostic_int.reason end