5.2 階層構造

 さて,最初に言ったように,mode は次のような階層構造になっています.set は一番広い mode で,例えばその下に Real,さらにその下に Nat があります.Nat なら set, Real なら set, Nat なら Real となるわけです.ここの考え方は,オブジェクト指向言語 (Object Oriented Language) の考え方と似ています.同じ記号を,上の方に使っていくわけです.