Provides data for theories based on collection initialization syntax. More...
Provides data for theories based on collection initialization syntax.