
4.7.3 The Debugger structure
Shell.Options.Debugger
val hideDuplicateFrames: bool option
true, hide duplicate stack frames when in the debugger. Setting this option hides extra stack frames introduced by the MLWorks stepping and tracing facility. It is unlikely that you will want to see these extra frames.

Generated with Harlequin WebMaker