Searched defs:cls_insts (Results 1 – 3 of 3) sorted by relevance
116 cls_insts = [ ( synClsInst function
633 cls_insts = classInstances inst_envs cls function
839 let cls_insts' = filter (plausible rdr_env . orphNamesOfClsInst) cls_insts function