[ckmate-king-2]

Note that these lectures are from 1989, but the definition of Standard ML was revised in 1997. See, e.g., https://www.smlnj.org/sml97.html.