1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
\DOC warn
\TYPE {warn : bool -> string -> unit}
\SYNOPSIS
Prints out a warning string
\DESCRIBE
When applied to a boolean value {b} and a string {s}, the call {warn b s}
prints out ``{Warning: s}'' and a following newline to the terminal if {b} is
true and otherwise does nothing.
\FAILURE
Never fails.
\EXAMPLE
{
# let n = 7;;
val n : int = 7
# warn (n <> 0) "Nonzero value";;
Warning: Nonzero value
val it : unit = ()
}
\SEEALSO
remark, report.
\ENDDOC
|
