6.5　equals の使い方

　equals を使うと，　などのように，置き換えによる関数の定義が簡潔に行えます．
例えば，

　　　　　definition let x be Real;
　　　　　　func Quard(x) equals :A1:
　　　　　　x·x
　　　　　　correctness;
　　　　　end;


のようにすれば，関数 Quard(x)=x·x が定義できます．