Functor Numerix.Start


module Start: 
functor (Main : functor (E : Int_type) -> Main_type) -> sig .. end
Parameters:
Main : functor (E : Int_type) -> Main_type

val start : unit -> unit