The naming conventions in Lucid Synchrone are inherited from Objective Caml with some restrictions 1. They are listed here:
Names in Lucid Synchrone are decomposed into the following syntactic classes:
value-name | ::= | lowercase-ident |
| | ( operator-name ) | |
operator-name | ::= | prefix-symbol | infix-symbol | * | = | or | & |
constructor-name | ::= | capitalized-ident |
| | () | |
typeconstr-name | ::= | lowercase-ident |
module-name | ::= | capitalized-ident |
As in Objective Caml, the syntactic class of lowercase-ident is the set of identifiers starting with a lowercase letter whereas capitalized-ident is the set of of identifiers starting with a capital letter.
value-path | ::= | value-name |
| | module-name . value-name | |
constructor | ::= | constructor-name |
| | module-name . capitalized-ident | |
typeconstr | ::= | typeconstr-name |
| | module-name . typeconstr |
A value can be referred either by its name or by qualifying the name with a module name.