Searched defs:mkTransCo (Results 1 – 4 of 4) sorted by relevance
987 mkTransCo co1 co2 | isReflCo co1 = co2 function989 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function991 mkTransCo co1 co2 = TransCo co1 co2 function
973 mkTransCo co1 co2 | isReflCo co1 = co2 function975 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function977 mkTransCo co1 co2 = TransCo co1 co2 function
1043 mkTransCo co1 co2 | isReflCo co1 = co2 function1045 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function1047 mkTransCo co1 co2 = TransCo co1 co2 function