Asserts that comp contains at least one secure aggregation call.

comp A tff.Computation, often a function annotated with tff.federated_computation or tff.tensorflow.computation. Note that polymorphic functions (those without the types of their arguments explicitly specified) will not yet be tff.Computations.

AssertionError if comp does not contain a secure aggregation call. ValueError if comp contains a call whose target function cannot be identified. This may result from calls to references or other indirect structures.