Implement a specification for de-allocating/copying a list of lists of integers. Synthesize it if given a hint about a specification of the corresponding auxiliary function that for simple lists of ints. Depends on issue #12.
Implement a specification for de-allocating/copying a list of lists of integers.
Synthesize it if given a hint about a specification of the corresponding auxiliary function that for simple lists of ints.
Depends on issue #12.