Get the current log. Since this is in the
with-logstd/log/with-log: forall<a,e> (log-name : string, action : () -> <ndet|e> a) -> <ndet|e> (string, a) is preferred.
Total fun that logs a message in a certain log
Has no observable effect but see
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) -> ().
nologstd/log/nolog: () -> (st<global>) () was called, the log is always empty.