functor
(
Main
:
functor
(
E
:
Int_type
)
->
Main_type
)
->
sig
val
start : unit
->
unit
end