mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-01-09 14:48:16 -05:00
This PR is part of issue https://github.com/powdr-labs/powdr/pull/1345. In particular, it adds the struct Number to Expressions to homogenize the structure before including source references.