{R : Type u_1} →
  {M : Type u_2} →
    {inst : CommRing R} →
      {inst_1 : AddCommGroup M} →
        {inst_2 : Module R M} →
          {Q : QuadraticForm R M} →
            {A : Type u_3} → {inst_3 : Ring A} → {inst_4 : Algebra R A} → CliffordAlgebra.EvenHom Q A → ℕ