Module `Zero_alloc_checker.Witness`

When the check fails, Witness.t represents an instruction that does not satisfy the property.

type kind =

| Alloc of {
1. bytes : int;
2. dbginfo : Cmm.alloc_dbginfo;
}
| Indirect_call of {
1. callee : string option;
}
| Indirect_tailcall of {
1. callee : string option;
}
| Direct_call of {
1. callee : string;
}
| Direct_tailcall of {
1. callee : string;
}
| Extcall of {
1. callee : string;
}
| Arch_specific of Arch.specific_operation
| Probe of {
1. name : string;
2. handler_code_sym : string;
}
| Widen

type hint

type t = {

dbg : Debuginfo.t;
kind : Zero_alloc_checker.Witness.kind;
hint : Zero_alloc_checker.Witness.hint;

}