/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:6.2.13.1, The length subtyping check for 'record of' or 'set of' types
 ** @verdict  pass accept, noexecution
 ***************************************************/
module Syn_06021301_LengthSubtyping_001 {
   type record length(10) of integer RecordOfLength10;					//direct subtyping
   type record length(0..10) of integer RecordOfLengthLessThan10;		//direct subtyping

   type RecordOfLengthLessThan10 RecordOfLength6 length(6);				//referenced subtyping
   type RecordOfLengthLessThan10 RecordOfLength4To5 length(4..5);		//referenced subtyping

}