Sorry, not getting it with mli

12 posts were split to a new topic: Can the double semicolon be removed in the toplevel?