github.com/ice-blockchain/go/src@v0.0.0-20240403114104-1564d284e521/internal/types/testdata/examples (about)

constraints.go
functions.go
inference.go
inference2.go
methods.go
operations.go
types.go
typesets.go