Lines Matching defs:typecheck