Additional material
Parts of cml-sig.sml
(* threads *) type thread_id val spawn : (unit -> unit) -> thread_id (* channels *) type 'a chan