module Numerix: sig endmodule type Int_type = sig endmodule Infixes: functor (E : Int_type) -> sig endmodule Big: Int_typemodule Slong: Int_typemodule Clong: Int_typemodule Dlong: Int_typemodule Gmp: Int_typeval chrono : string -> unitmodule type Main_type = sig endmodule Start: functor (Main : functor (E : Int_type) -> Main_type) -> sig end