Currently, Syncro cannot synthesize "helper" data structures. One idea would be to create another grammar for helper data structures, and try to synthesize a helper data structure such that O' = O + helper data structure. (This is the approach used by DBToaster.) We can then recursively incrementalize the helper data structure itself.
Currently, Syncro cannot synthesize "helper" data structures. One idea would be to create another grammar for helper data structures, and try to synthesize a helper data structure such that O' = O + helper data structure. (This is the approach used by DBToaster.) We can then recursively incrementalize the helper data structure itself.