fun writeln_fn x = ! Private_Output.writeln_fn x; fun writeln_urgent_fn x = ! Private_Output.writeln_urgent_fn x; fun state_fn x = ! Private_Output.state_fn x; fun information_fn x = ! Private_Output.information_fn x; fun tracing_fn x = ! Private_Output.tracing_fn x; fun warning_fn x = ! Private_Output.warning_fn x; fun legacy_fn x = ! Private_Output.legacy_fn x; fun error_message_fn x = ! Private_Output.error_message_fn x; fun system_message_fn x = ! Private_Output.system_message_fn x; fun status_fn x = ! Private_Output.status_fn x; fun report_fn x = ! Private_Output.report_fn x; fun result_fn x y = ! Private_Output.result_fn x y; fun protocol_message_fn x y = ! Private_Output.protocol_message_fn x y;
val markup_fn = Markup.output;
end;
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
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 ist noch experimentell.
