sig type t = Error | Warning | Remark | Note end