Function add

assertion/function/functioncontracts/infer.go:525–533

(s nilnessTableSet, t nilnessTable)

type nilnessTableSet []nilnessTable

func add(s nilnessTableSet, t nilnessTable) (nilnessTableSet, bool) {
	// TODO: an efficient check for whether t is already in s.
	for _, v := range s {
		if v.equals(t) {
			return s, false
		}
	}
	return append(s, t), true
}

func newNilnessTableSet() nilnessTableSet {
	return make(nilnessTableSet, 0)