382 orphNamesOfCo (Refl ty)             = orphNamesOfType ty  function
383 orphNamesOfCo (GRefl _ ty mco)      = orphNamesOfType ty `unionNameSet` orphNamesOfMCo mco  function
384 orphNamesOfCo (TyConAppCo _ tc cos) = unitNameSet (getName tc) `unionNameSet` orphNamesOfCos cos  function
385 orphNamesOfCo (AppCo co1 co2)       = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2  function
386 orphNamesOfCo (ForAllCo _ kind_co co)  function
388 orphNamesOfCo (FunCo _ co_mult co1 co2) = orphNamesOfCo co_mult `unionNameSet` orphNamesOfCo co1 `u…  function
389 orphNamesOfCo (CoVarCo _)           = emptyNameSet  function
390 orphNamesOfCo (AxiomInstCo con _ cos) = orphNamesOfCoCon con `unionNameSet` orphNamesOfCos cos  function
391 orphNamesOfCo (UnivCo p _ t1 t2)    = orphNamesOfProv p `unionNameSet` orphNamesOfType t1 `unionNam…  function
392 orphNamesOfCo (SymCo co)            = orphNamesOfCo co  function
393 orphNamesOfCo (TransCo co1 co2)     = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2  function
394 orphNamesOfCo (NthCo _ _ co)        = orphNamesOfCo co  function
395 orphNamesOfCo (LRCo  _ co)          = orphNamesOfCo co  function
396 orphNamesOfCo (InstCo co arg)       = orphNamesOfCo co `unionNameSet` orphNamesOfCo arg  function
397 orphNamesOfCo (KindCo co)           = orphNamesOfCo co  function
398 orphNamesOfCo (SubCo co)            = orphNamesOfCo co  function
399 orphNamesOfCo (AxiomRuleCo _ cs)    = orphNamesOfCos cs  function
400 orphNamesOfCo (HoleCo _)            = emptyNameSet  function