it's really weird that the check function of a Typ expects a 'var -> Checked.t now that we have the imperative interface. That function should look like any circuit written using the imperative interface ('var -> unit)
(I believe at the moment when writing a new Typ you need to use Impl.make_checked to convert your function to a Checked.t)
github-actions[bot]
commented
1 year ago
it's really weird that the
checkfunction of aTypexpects a'var -> Checked.tnow that we have the imperative interface. That function should look like any circuit written using the imperative interface ('var -> unit)(I believe at the moment when writing a new
Typyou need to useImpl.make_checkedto convert your function to aChecked.t)