Lines Matching defs:FunctorFinit