bound

Return b bound by a and c (i.e., min(max(a, b), c)).

typeof(Ta + Tb + Tc)
bound
(
Ta
Tb
Tc
)
(
Ta a
,
Tb b
,
Tc c
)

Meta