Update kernel/inductive.mli
Update kernel/inductive.mli

Co-authored-by: Gaëtan Gilbert <26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net>
coq/coq,ejgallego/coq,ejgallego/coq,coq/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,coq/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,SkySkimmer/coq