std/log▲toc

Log messages.

Total fun that logs a message in a certain log log-name. Has no observable effect but see withLog.

Log an error (to log "error"). This should be used in particular to log errors in pure functions that are otherwise ignored.

Log a warning (to log "warning"). This should be used in particular to log warnings in pure functions that are otherwise ignored.

Disable logging completely.

Encloses a possibly total action and returns its result together with the contents of a log named log-name. The contents of the log are non-deterministically determined. However, in practice, they contain any messages that were recorded in the action by calls to logstd/log/log: (log-name : string, message : string) -> (). However, if nologstd/log/nolog: () -> (st<global>) () was called, the log is always empty.