{C : Type u} →
  [inst : CategoryTheory.Category.{v, u} C] →
    {A : Type u_1} →
      [inst_1 : CategoryTheory.Category.{v_1, u_1} A] →
        {S : C} →
          (E : CategoryTheory.PreOneHypercover S) →
            CategoryTheory.Functor Cᵒᵖ A → CategoryTheory.Limits.MulticospanIndex E.multicospanShape A