Module Progress_engine.IntegerSource

Sourcemodule type S = sig ... end
Sourcemodule Int : S with type t = int
Sourcemodule Int32 : S with type t = int32
Sourcemodule Int64 : S with type t = int64
Sourcemodule Int63 : S with type t = Optint.Int63.t
Sourcemodule Float : S with type t = float