Revision 05ac718f
ID | 05ac718f5af44095f07d388e05aeee16801d6350 |
Parent | 518023a9 |
Child | 25779212 |
Parameterize the Filter type
In preparation for introducing filtering functionality, we convert the
'Filter' type from a '*' kind to a '* -> *' kind.
This allows us to define some general properties for the filter, and
for example introduce later an easy filter compilation, etc.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Agata Murawska <agatamurawska@google.com>
Files
- added
- modified
- copied
- renamed
- deleted