Labels:black | darkness OCR: type effect exception Infix precedence 7: / real * real -> real Hoating-point quotient Div, Overflow div wordint * wordint -> wordint quotient (round towards -0o) Div, Overflow mod wordint * wordint -> wordint remainder (of div) Div, Overflow * num * num -> num product Overflow Infix precedence 6: + num * num -> num Overflow num * num -> num difference Overflow string * string -> string concatenate Size Infix precedence 5: :: 'a * 'a list -> 'a list cons onto list (R) 'a list * 'a list -> 'a list append lists (R) Infix precedence 4: = ''a * "'a -> bool equal to ''a * "'a -> bool not equal to numtxt * numtxt -> bool less than v numtxt * numtxt -> bool less than or equal to numtxt * numtxt -> bool greater than numtxt * numtxt -> bool greater than or equal to Infix precedence 3: := 'a ref * 'a -> unit ('b->'c) * ('a->'b) -> ('a->'c) assignment function composition Infix precedence 0: before *a * unit -> 'a return first argument