previous up next
Go backward to Type Equivalence
Go up to Top
Go forward to Recursive Bindings
RISC-Linz logo

Example

type M = nat;
type N = array [1..3] of M;
var A: nat;
var B: M;
var C: M;
var D: N;
var E: array [2..4] of nat


Author: Wolfgang Schreiner
Last Modification: December 18, 1997

previous up next