Module Progress_engine.Integer
module type S = sig ... endmodule Int : Progress_engine.Integer.S with type t = intmodule Int32 : Progress_engine.Integer.S with type t = int32module Int64 : Progress_engine.Integer.S with type t = int64module Int63 : Progress_engine.Integer.S with type t = Optint.Int63.tmodule Float : Progress_engine.Integer.S with type t = float