Module Zero_alloc_checker.Witnesses

type t
val is_empty : t -> bool
val iter : t -> f:(Witness.t -> unit) -> unit
type components = {
  1. nor : t;
    (*

    on a path from function entry to a normal return

    *)
  2. exn : t;
    (*

    on a path from function entry to an exceptionall return

    *)
  3. div : t;
    (*

    on a path from function entry that may diverge

    *)
}

The witnesses are classified into which path they may appear on. If a witness appears on both a path to a normal and an excpetional return, it will only appear in nor component.