sig
type
reason =
Diagnostic_int
.reason
end