Module Mlsem_system.Analyzer

type severity =
  1. | Message
  2. | Notice
  3. | Warning
  4. | Error
type msg = {
  1. eid : Mlsem_common.Eid.t;
  2. severity : severity;
  3. title : string;
  4. descr : string option;
}
val analyze : Ast.t -> Annot.Annot.t -> msg list
val get_unreachable : Ast.t -> msg list