search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
494 stars 74 forks source link

Merge the two Providers #755

Closed mimoo closed 1 year ago

mimoo commented 1 year ago

We define a number of Provider, but it seems like we ever use the same type:

type ('a, 'f) = (('a Request.t, 'f) t, ('a, 'f) t) Types.Provider.t

so I think it'd be easier to just define Types.Provider.t as this signature directly