Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

report : string -> unit

SYNOPSIS

Prints a string and a following line break.

DESCRIPTION

The call report s prints the string s to the terminal and then a following newline.

FAILURE CONDITIONS

Never fails.

EXAMPLE

  # report "Proof completed OK";;
  Proof completed OK
  val it : unit = ()

SEE ALSO

remark, warn.