sources.cm

来自「这是我们参加06年全国开源软件的竞赛作品」· CM 代码 · 共 18 行

(* sources.cm
 *
 * These are the generic OS interfaces that are modified for CML.
 *)

Group
  signature OS_IO
  signature OS_PROCESS
  signature OS
is
  ../core-cml/sources.cm

  os-io-sig.sml
  os-process-sig.sml
  os-sig.sml
  os-signatures.sml