Module Lib

module Builtin : sig ... end

Le module définissant les opérateurs prédéfinis communs à tous les langages du sujet.

module Closed : sig ... end

Ce module définit la syntaxe abstraite du langage intermédiaire (type t) ainsi que divers types et fonctions auxiliaires.

module Error : sig ... end

Ce module permet de signaler une erreur irrattrapable à l'utilisateur.

module Id : sig ... end

Ce module définit un type d'identifiants commun à tous les langages manipulés, ainsi que les fonctions attenantes.

module Lexer : sig ... end
module Parse : sig ... end

Ce module rassemble l'analyseur lexical de Lexer et l'analyseur syntaxique de Parser sous une forme simple d'usage.

module Parser : sig ... end
module Skimmel : sig ... end

Ce module définit la syntaxe abstraite du langage source (type t) ainsi que divers types et fonctions auxiliaires.

module TP : sig ... end