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