matlab_types:THEORY
BEGIN
single: TYPE = real
double: TYPE = real
int8: TYPE = {x:int | x>= -128 & x <= 127}
int16: TYPE = {x:int | x>=-32768 & x<= 32767}
int32: TYPE = {x:int | x>=-2147483648 & x <= 2147483647}
uint8: TYPE = {x:int | x>=0 & x<= 255}
uint16: TYPE = {x:int | x>=0 & x<= 65535}
uint32: TYPE = {x:int | x>=0 & x<= 4294967295}
boolean: TYPE = bool


END matlab_types
