Searched defs:_involves_k_cross (Results 1 – 2 of 2) sorted by relevance
3319 int scheme_expr_produces_local_type(Scheme_Object *expr, int *_involves_k_cross) in scheme_expr_produces_local_type()3418 int *_involves_k_cross, int fuel, in do_expr_implies_predicate()