structure B = structval a = "B.a"val b = "B.b"val y = "B.y"structure a = struct val v = "B.a" endstructure b = struct val v = "B.b" endstructure y = struct val v = "B.y" endfunctor a ()= struct val v = "B.a" endfunctor b ()= struct val v = "B.b" endfunctor y ()= struct val v = "B.y" endend;