Per Compilatore Questa versione apporta alcune modifiche alle direttive incluse nei moduli per indicare le relazioni di dipendenza tra le definizioni introdotte in un modulo e quelle usate ma definite in altri moduli. Queste poche modiche permettono di compilare separatamente i moduli e caricare i soli bytecode, secondo le indicazioni date (nel commmento conclusivo) in file Main.ml.