Quick overview
User Guide
Reference & help
Set a variable/dimension to double This is mostly useful for cases when time is stored as an int, but you need a double
x (dict) – A dictionary mapping variables to type. Values in dict must be one of ‘int’, ‘float32’ and ‘float64’.