Module V5.BoundedSource

This module implements bounded (or refined) versions of data types.

Sourcemodule Int32 : sig ... end

Bounded int32.