alphabet is a type specification = sorts : alphabet oprs : a: alphabet, . . . ,z: alphabet
alphabet is a type specification = sorts : alphabet oprs : a: alphabet, . . . ,z: alphabet end alphabet;. nat is a type specification = sorts : nat oprs : zerus: nat succ: nat nat add: nat nat nat eqns : a,bnat; add(a,b) = add(b,a) add(a,zerus) = a
348 views • 20 slides