Merge branch 'struct-cleanup'

go.mod

@@ -1,6 +1,6 @@
 module github.com/tchajed/goose
 
-go 1.18
+go 1.22
 
 require (
 	github.com/fatih/color v1.16.0

go_dot_etcd_dot_io/etcd/server/v3.v

@@ -0,0 +1,23 @@
+(* autogenerated from go.etcd.io/etcd/server/v3 *)
+From Perennial.goose_lang Require Import prelude.
+From Goose Require go_dot_etcd_dot_io.etcd.server.v3.etcdmain.
+From Goose Require os.
+
+Section code.
+Context `{ext_ty: ext_types}.
+Local Coercion Var' s: expr := Var s.
+
+(* Package main is a simple wrapper of the real etcd entrypoint package
+   (located at go.etcd.io/etcd/etcdmain) to ensure that etcd is still
+   "go getable"; e.g. `go get go.etcd.io/etcd` works as expected and
+   builds a binary in $GOBIN/etcd
+
+   This package should NOT be extended or modified in any way; to modify the
+   etcd binary, work in the `go.etcd.io/etcd/etcdmain` package. *)
+
+Definition main: val :=
+  rec: "main" <> :=
+    etcdmain.Main os.Args;;
+    #().
+
+End code.