blob: 24fb00722c32b0d2be464fe28bb8cd0872552ad1 [file]
MODULE setcons3 ;
TYPE
Subrange = [10..40] ;
Set = SET OF Subrange ;
Rec = RECORD
field: Subrange ;
END ;
VAR
u: Subrange ;
s: Set ;
r: Rec ;
PROCEDURE Init ;
BEGIN
s := Set {u}
END Init ;
BEGIN
Init
END setcons3.