Module Backend.NodePrinter
val with_session : ?kind:[< `ComputePre | `ExecNode | `ExecNodeNarrowing | `WTO ] -> pp_name:(Stdlib.Format.formatter -> unit) -> IR.Procdesc.Node.t -> f:(unit -> 'a) -> 'a
Wraps
f
in an html debug session