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