Searched refs:src_typesets (Results 1 – 7 of 7) sorted by relevance
624 let src_typesets = type_env in infer_transform() localVariable641 for (var_index, src_typeset) in src_typesets { in infer_transform()
621 let src_typesets = type_env in infer_transform() localVariable638 for (var_index, src_typeset) in src_typesets { in infer_transform()
625 let src_typesets = type_env in infer_transform() localVariable642 for (var_index, src_typeset) in src_typesets { in infer_transform()