2007-07-17 Concurrent Clean : withとスコープ 次のプログラムは正しい l a # b = a + 1 c = f a with f z = z + b = c with以前のlet-before式で定義された変数にアクセスできている。