Closed this issue 3 months ago · 0 comments
From @aron
looks like the Stainless implementation doesn't support retrieving the replicate token from current_scope() just yet.
TODO: add context about what this means and what it's for.