Categorygithub.com/goose-lang/std
modulepackage
0.5.0
Repository: https://github.com/goose-lang/std.git
Documentation: pkg.go.dev

# README

Verified Goose standard library

CI

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.