adding support to type statements in semantics

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Apache License 2.0

1.6k stars 495 forks source link

Closed Tomer-StarkWare closed 1 month ago

Tomer-StarkWare commented 2 months ago

Same as #6370 previous PR was abandon because base PR was deleted

This change is