pkg syscall (netbsd-arm64-cgo), type Flock_t struct, Start int64
pkg syscall (netbsd-arm64-cgo), type Flock_t struct, Type int16
pkg syscall (netbsd-arm64-cgo), type Flock_t struct, Whence int16
pkg syscall (netbsd-arm64-cgo), type Fsid struct
pkg syscall (netbsd-arm64-cgo), type Fsid struct, X__fsid_val [2]int32
pkg syscall (netbsd-arm64-cgo), type ICMPv6Filter struct

pkg syscall (darwin-arm64), type Flock_t struct, Pid int32
pkg syscall (darwin-arm64), type Flock_t struct, Start int64
pkg syscall (darwin-arm64), type Flock_t struct, Type int16
pkg syscall (darwin-arm64), type Flock_t struct, Whence int16
pkg syscall (darwin-arm64), type Fsid struct
pkg syscall (darwin-arm64), type Fsid struct, Val [2]int32
pkg syscall (darwin-arm64), type Fstore_t struct

	</li>
</ul>

<p>
The quantification "the set of all non-interface types" refers not just to all (non-interface)
types declared in the program at hand, but all possible types in all possible programs, and
hence is infinite.
Similarly, given the set of all non-interface types that implement a particular method, the
intersection of the method sets of those types will contain exactly that method, even if all