Values of attributes are OCaml code too, as for the leafs.
Les valeurs des attributs sont, comme pour les feuilles, du code OCaml.
An important point is that the way to compute the information needed in the document is given in the form of OCaml code.
Un point important est que l'information à mettre dans le document est donnée sous forme de code OCaml.
Validation rules in atd files are open-ended, developers can inject whatever OCaml code they want directly into the atd file.
Les règles de validation dans les fichiers atd sont ouvertes, les développeurs peuvent injecter n'importe quel code OCaml directement dans le fichier atd.
o file generate the OCaml code in file file, instead of the default file, when the -gen option is given.
o file génère le code OCaml dans le fichier file, au lieu du fichier par défaut, quand l'option -gen est donnée.
This type checker is proven sound with respect to the specification and can be extracted to OCaml code and run independently of Coq's kernel type-checker.
Ce vérificateur de type est prouvé correct vis à vis de la spécification et peut être extrait en code OCaml et exécuté indépendamment du vérificateur de type du noyau de Coq.
The Ocamlviz project is an alternative to all these tools. It is both a library to instrument some OCaml code and tools to visualize its execution in real-time, possibly remotely.
Le projet Ocamlviz propose une alternative à ces différents outils, sous la forme d une bibliothèque pour instrumenter du code OCaml et des outils pour visualiser ensuite son exécution, en temps-réel et de manière distante.
The native version of Chamo can not interpret OCaml code to modify its behaviour.
La version native de Chamo ne permet pas d'interpréter du code OCaml et donc de modifier au vol son comportement.
tool generates the OCaml code of the document description, using the types defined in the Report library.
génère le code OCaml de la description de document, en utilisant les types définis dans la bibliothèque Report.
Menhir compiles LR(1) grammar specifications to OCaml code.
En d'autres termes, Menhir traduit des spécifications de grammaires LR(1) en code OCaml.
DBForge: a tool to describe database schemas and generate OCaml code to access these databases.
DBForge : un outil pour décrire des schémas de base de données et générer le code OCaml permettant d'accéder à ces bases.
In practice, Report allows to graphically describe the document (structure + information), and then to generate OCaml code which uses the Report library.
En pratique, Report permet d'diter graphiquement le document (structure + information), et de générer le code OCaml qui utilise la bibliothèque Report.
The COW (Caml on the Web) syntax extension permits XML, HTML, CSS and JSON to be written directly inside OCaml code.
L'extension de syntaxe COW (Pour Caml on the Web) permet d'écrire directement du XML, HTML, CSS et JSON dans du code OCaml.
I've just installed VC++ and MASM in the hope to compile some ocaml code using ocamlopt.
Je viens juste d'installer VC++ et MASM dans l'espoir de compiler du code ocaml utilisant ocamlopt.