remark : string -> unit

SYNOPSIS
Output a string and newline if and only if verbose flag is set.

DESCRIPTION
If the verbose flag is set to true, then the call remark s prints the string s and a following newline. If the verbose flag is set to false, this call does nothing. This function is used for informative output in several automated rules such as MESON.

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # remark "Proof is going OK so far";;
  Proof is going OK so far
  val it : unit = ()
  # verbose := false;;
  val it : unit = ()
  #  remark "Proof is going OK so far";;
  val it : unit = ()

SEE ALSO
report, verbose.