Print depth for ML toplevel pp -- global default (unsynchronized).
*)
signature ML_PRINT_DEPTH = sig val set_print_depth: int -> unit val get_print_depth: unit -> int end;
structure ML_Print_Depth: ML_PRINT_DEPTH = struct
val depth = Unsynchronized.ref 0;
fun set_print_depth n = (depth := n; PolyML.print_depth n); fun get_print_depth () = ! depth;
end;
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:
(vorverarbeitet am 2026-04-29)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
