手続き

• 手続き呼び出しは、別の同心円へ向かう矢印で表わされる。矢印の根本の円を実行すると、矢印が指す円にstateがくっつく。元の円は消えないが縮小され、新しく実行する円が拡大される。
• 引数は、矢印の根本と先の円に付属する小さな円で表わされる。そのうちの一つは必ずcontinuationを表わす。continuationは、内側の円に向かう矢印(呼び出し側)あるいは内側の円から指す矢印(呼び出され側)がついているので、他の引数と区別できる。
• 返り値はcontinuationの円に付属する引数の円で表わす。