2 commits

Author	SHA1	Message	Date
Cédric Pasteur	1857cb7c47	Identifiers only need to be unique inside a node	2010-09-13 15:20:09 +02:00
Léonard Gérard	f124bb4fd7	Refactoring Ident -> Idents ( uniform with Names etc )	2010-07-23 19:45:19 +02:00

Renamed from compiler/global/ident.mli (Browse further)