def get_examples_up_to_partition(partition_to_examples, current_partition):
  """Returns examples up to the current partition."""
  examples = []
  for partition in range(current_partition + 1):
    examples.extend(list(partition_to_examples[partition]))
  return examples
Returns examples up to the current partition.
language/compgen/csl/induction/induction_utils.py