/pliant/graphic/misc/int.pli
1
function
bound i mini maxi -> b
2
arg
Int
i
mini
maxi
b
3
b
:=
shunt
i
<
mini
mini
i
>
maxi
maxi
i
4
5
export
bound