Library
  signature GLOBAL
  structure Global
is
  global.sig
  global.sml