Sep  7 15:02 1992  a1.sml Page 1

functor F (A:A) = struct
  val c = C.z
  open A
  val b = B.x
  val d = D.y
end

--------------------------------
Sep  7 15:02 1992  a2.sml Page 1

signature A = sig end

--------------------------------
Sep  7 15:08 1992  a3.sml Page 1

signature A = sig
  structure B :sig val x:int end
end


signature C = A

--------------------------------
Oct 22 14:24 1992  a4.sml Page 1

signature A = sig
  structure B :sig val x:int end
  structure D :sig val y:int end
end
