# module_constant_def_ok

```py
CONSTANT: $TYPE = $VAL0

@exported
def testEntry() -> i32:
    return 0
```

# module_constant_def_bad

```py
CONSTANT: $OTHER_TYPE = $VAL0

@exported
def testEntry() -> i32:
    return 0
```