search

gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Update callwithtimeout.gd #94

Closed ssiccha closed 3 years ago

ChrisJefferson commented 3 years ago

Just to be super-picky, could you mention only the return value is given to IO_Pickle (so you can pass complicated things if the return value is true/false for example).

ssiccha commented 3 years ago

Great, I didn't know that. :)