Searched refs:sigma_op (Results 1 – 2 of 2) sorted by relevance
65 Type TypeTypeGuard(const Operator* sigma_op, Type input);
1179 Type OperationTyper::TypeTypeGuard(const Operator* sigma_op, Type input) { in TypeTypeGuard() argument1180 return Type::Intersect(input, TypeGuardTypeOf(sigma_op), zone()); in TypeTypeGuard()