Searched refs:OrfTypeChecker (Results 1 – 1 of 1) sorted by relevance
545 class OrfTypeChecker : public TypeChecker { class761 checkers_.push_back(new OrfTypeChecker()); in TypeCheckerList()