Module V6.BoundedSource

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

Sourcemodule Int32 : sig ... end

Bounded int32.