   interface all_of
      module procedure all_of_
   end interface all_of

   interface any_of
      module procedure any_of_
   end interface any_of

   interface none_of
      module procedure none_of_
   end interface none_of
