Chapter 6

定義

6.1 定義

ここでは定義について説明します．predicates，functor, mode の定義について説明します．