report : string -> unit
Prints a string and a following line break.
prints the string
to the terminal and then a following newline.
# report "Proof completed OK";; Proof completed OK val it : unit = ()