chore: deprecate :=
variants of inductive
and structure
#9967
Loading
:=
variants of inductive
and structure
#9967