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