keep the open top declaration when loading a module. It may be useful later when producing a lustre file
keep the open top declaration when loading a module. It may be useful later when producing a lustre file