sig
type
reason =
Algo
.
Diagnostic
.reason_int
end