Function
Shell.Trace
val traceFull: (string * ('a -> 'b) * ('c -> 'd)) -> unit
traceFull (name, f, g) -> ()
()
The function traceFull
implements conditional tracing and breakpointing. For example, assuming you have defined a factorial function fact
, to unconditionally trace the factorial function with no breakpointing type:
traceFull ("fact", fn _ => true, fn _ => false);
To trace the function when the argument is less than 3 type: