2023-10-02 15:04:12 +03:00
|
|
|
> Module Mod_middle
|
|
|
|
|
|
|
|
> Using Mod_def
|
|
|
|
|
|
|
|
```catala-metadata
|
|
|
|
declaration scope S:
|
|
|
|
input x content integer
|
|
|
|
output o1 content Mod_def.S
|
|
|
|
output o2 content money
|
2023-10-03 19:19:41 +03:00
|
|
|
# context -- this should work
|
|
|
|
output o3 content money
|
2023-10-02 15:04:12 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
```catala
|
|
|
|
scope S:
|
|
|
|
definition o1 equals output of Mod_def.S
|
2023-10-03 19:19:41 +03:00
|
|
|
definition o2 equals o1.Mod_def.S.sr * 2. + o1.sr / 2.
|
|
|
|
definition o3 equals $44 * (decimal of x)
|
2023-10-02 15:04:12 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
```catala-test-inline
|
|
|
|
$ catala typecheck
|
|
|
|
[RESULT] Typechecking successful!
|
|
|
|
```
|