urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-09-11 20:27:19 +03:00
Code Issues Packages Projects Releases Wiki Activity

Document %number/number difference

Browse Source
This commit is contained in:
bonbud-macryg 2024-06-04 11:10:10 +01:00 committed by SuperCoolYun
parent 5f429249e8
commit bfb30ded5f
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkg/arvo/neo/cod/std/src/imp/counter.hoon
View File

@ -63,6 +63,9 @@
:: (technically unnecessary in this case, but good
:: hygiene)
?> =(p.pail %number)
:: de-vase the payload's vase through the number
:: type; note the difference between the number
:: type and the %number stud
=/ state !<(number q.pail)
::
:: assert that the poke's stud is %counter-diff