Module Batteries_uni.Legacy.Int32

module Int32: Int32