Val.Itv
val nat : t
[0,+oo]
val pos : t
[1,+oo]
val top : t
[-oo,+oo]
val zero : t
[0,0]
val one : t
[1,1]
val zero_255 : t
[0,255]
val m1_255 : t
[-1,255]
val unknown_bool : t
[0,1]