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