···

       
557
       
 
       
      in list // {

     

       
558
       
 
       
        description = "non-empty ${optionDescriptionPhrase (class: class == "noun") list}";

     

       
559
       
 
       
        emptyValue = { }; # no .value attr, meaning unset

     

       
0
       
 
       

     

       
560
       
 
       
      };

     

       
561
       
 
       


     

       
562
       
 
       
    attrsOf = elemType: mkOptionType rec {

     

···

       
557
       
 
       
      in list // {

     

       
558
       
 
       
        description = "non-empty ${optionDescriptionPhrase (class: class == "noun") list}";

     

       
559
       
 
       
        emptyValue = { }; # no .value attr, meaning unset

     

       
560
       
+
       
        substSubModules = m: nonEmptyListOf (elemType.substSubModules m);

     

       
561
       
 
       
      };

     

       
562
       
 
       


     

       
563
       
 
       
    attrsOf = elemType: mkOptionType rec {