{α : Type u_1} →
  (M : Type u_2) →
    (R : Type u_5) →
      [inst : Semiring R] →
        [inst_1 : AddCommMonoid M] →
          [inst_2 : Module R M] →
            (s : Set α) → [DecidablePred fun x => x ∈ s] → (α →₀ M) →ₗ[R] ↥(Finsupp.supported M R s)