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
- A and B are structure-equivalent but not occurence-equivalent.
- B and C are both structure- and occurence-equivalent.
- C and D are neither structure-nor occurence-equivalent.
- Are D and E structure-equivalent?
- Different range bounds in environment.
- Similar problems for record types.
Author: Wolfgang Schreiner
Last Modification: December 18, 1997