Module `Zero_alloc_checker.Witnesses`

type t

val is_empty : Zero_alloc_checker.Witnesses.t -> bool

val iter : 
  Zero_alloc_checker.Witnesses.t ->
  f:(Zero_alloc_checker.Witness.t -> unit) ->
  unit

type components = {

nor : Zero_alloc_checker.Witnesses.t;
(*
on a path from function entry to a normal return
*)
exn : Zero_alloc_checker.Witnesses.t;
(*
on a path from function entry to an exceptionall return
*)
div : Zero_alloc_checker.Witnesses.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.

Module Zero_alloc_checker.Witnesses

Module `Zero_alloc_checker.Witnesses`