Benoit Rognier
Results
1
comments of
Benoit Rognier
thank you Michael for your feedback. I don't know what an "intermediate endpoint" is. The parameter type is `or (unit %first) (or %second nat string)`: I think that the algo...