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