module Ertlinterp: sig .. end
sig
end
val program : Ertltree.file -> int64
Ertltree.file -> int64
interprète un programme ERTL, à partir de la fonction main; renvoie la valeur renvoyée par main
main