4.4 Debugging interface: the Debug structure
4.4.1 The Debug structure
structure Debug:
sig
val clear: ('a -> 'b) -> unit
val clearAll: unit -> unit
val info: ('a -> 'b) -> string
val infoAll: unit -> string list
val status: ('a -> 'b) -> bool
val stepThrough: ('a -> 'b) -> 'a -> 'b
end