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.