sig
val
upper : float
val
lower : float
end