Searched defs:orphNamesOfCo (Results 1 – 4 of 4) sorted by relevance
383 orphNamesOfCo (Refl ty) = orphNamesOfType ty function386 orphNamesOfCo (AppCo co1 co2) = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2 function390 orphNamesOfCo (CoVarCo _) = emptyNameSet function393 orphNamesOfCo (SymCo co) = orphNamesOfCo co function395 orphNamesOfCo (NthCo _ _ co) = orphNamesOfCo co function396 orphNamesOfCo (LRCo _ co) = orphNamesOfCo co function397 orphNamesOfCo (InstCo co arg) = orphNamesOfCo co `unionNameSet` orphNamesOfCo arg function398 orphNamesOfCo (KindCo co) = orphNamesOfCo co function399 orphNamesOfCo (SubCo co) = orphNamesOfCo co function400 orphNamesOfCo (AxiomRuleCo _ cs) = orphNamesOfCos cs function[all …]
382 orphNamesOfCo (Refl ty) = orphNamesOfType ty function385 orphNamesOfCo (AppCo co1 co2) = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2 function389 orphNamesOfCo (CoVarCo _) = emptyNameSet function392 orphNamesOfCo (SymCo co) = orphNamesOfCo co function394 orphNamesOfCo (NthCo _ _ co) = orphNamesOfCo co function395 orphNamesOfCo (LRCo _ co) = orphNamesOfCo co function396 orphNamesOfCo (InstCo co arg) = orphNamesOfCo co `unionNameSet` orphNamesOfCo arg function397 orphNamesOfCo (KindCo co) = orphNamesOfCo co function398 orphNamesOfCo (SubCo co) = orphNamesOfCo co function399 orphNamesOfCo (AxiomRuleCo _ cs) = orphNamesOfCos cs function[all …]
375 orphNamesOfCo (Refl ty) = orphNamesOfType ty function378 orphNamesOfCo (AppCo co1 co2) = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2 function382 orphNamesOfCo (CoVarCo _) = emptyNameSet function385 orphNamesOfCo (SymCo co) = orphNamesOfCo co function387 orphNamesOfCo (NthCo _ _ co) = orphNamesOfCo co function388 orphNamesOfCo (LRCo _ co) = orphNamesOfCo co function389 orphNamesOfCo (InstCo co arg) = orphNamesOfCo co `unionNameSet` orphNamesOfCo arg function390 orphNamesOfCo (KindCo co) = orphNamesOfCo co function391 orphNamesOfCo (SubCo co) = orphNamesOfCo co function392 orphNamesOfCo (AxiomRuleCo _ cs) = orphNamesOfCos cs function[all …]