# README
Verified Goose standard library
Written in Goose for verification in Iris.
To translate with goose
(in the repo directory):
goose -out ~/code/perennial/external/Goose
To makes changes you'll need to submit a pull request so that CI can run first.
# Functions
See the [reference].
BytesEqual returns if the two byte slices are equal.
Multipar runs op(0) ..
Skip is a no-op that can be useful in proofs.
SliceSplit splits xs at n into two slices.
Spawn runs `f` in a parallel goroutine and returns a handle to wait for it to finish.
SumAssumeNoOverflow returns x + y, `Assume`ing that this does not overflow.
Returns true if x + y does not overflow.
# Structs
JoinHandle is a mechanism to wait for a goroutine to finish.