The Coq mailing list

[Dan Doel <dan.doel AT gmail.com>]

On Wed, Aug 3, 2011 at 11:10 PM, Michael Shulman 
<mshulman AT ucsd.edu>
 wrote:
> On Tue, Aug 2, 2011 at 2:33 AM, AUGER Cedric 
>Â <Cedric.Auger AT lri.fr>
>  wrote:
>> In inductive definitions, you have two kind of parameters; as I don't
>> know their names, I will call them "dependents" and "non dependents";
>> then dependents are right of the colon; the non dependents are left.
>
> If anyone knows a standard term for distinguishing these, I would very
> much like to know what it is.  Some source I've seen uses "parameters"
> for those to the left of the colon and "indices" for those to the
> right.

Parameters and indices are indeed the standard names.
-- Dan