Split `Pickles.Composition_types.Spec.ETyp.t` according to backend

MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

https://minaprotocol.com

Apache License 2.0

2k stars 528 forks source link

Split `Pickles.Composition_types.Spec.ETyp.t` according to backend #16359

Closed mrmr1993 closed 1 week ago

mrmr1993 commented 1 week ago

This PR builds upon https://github.com/MinaProtocol/mina/pull/16358, splitting the unified implementation of Pickles.Composition_types.Spec.ETyp.t according to the corresponding backends. This PR unpicks the last major use of the generalized Typ.t from snarky.

mrmr1993 commented 1 week ago

!ci-build-me