Method annotations

gapil/bapi/decode.go:238–245

(p *Annotations)

}

func (d *decoder) annotations(p *Annotations) semantic.Annotations {
	if p == nil || len(p.Annotations) == 0 {
		return nil
	}
	out := semantic.Annotations{}
	foreach(p.Annotations, d.annotation, &out)
	return out
}

func (d *decoder) assert(assertID uint64) (out *semantic.Assert) {
	d.build(d.content.Instances.Assert, &d.inst.Assert, assertID, &out,