module GuiList: sig .. end
sig
end
module Windex: Indexer.Make(Wpo.S)
Indexer.Make
(
Wpo.S
)
class model : object .. end
object
class pane : GuiConfig.provers -> object .. end
GuiConfig.provers ->