(Lean.Meta.LibrarySearch.Candidate → Lean.MetaM (List Lean.MVarId)) →
  Array Lean.Meta.LibrarySearch.Candidate →
    optParam Bool false → Lean.MetaM (Option (Array (List Lean.MVarId × Lean.MetavarContext)))