diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-20 18:09:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-20 18:09:27 -0500 |
commit | 0e62e42f739e467f61f5c3d10e7b1c7356db6406 (patch) | |
tree | a4281c5b2c0881c2d622da68322e213f7168801b /src/printer/printer.cpp | |
parent | 0a0cee14c38cac0f87772c192ef387dcd36b6977 (diff) |
Generalize mkConcat for types (#4123)
Towards theory of sequences.
The utility function mkConcat needs a type to know what to construct in the empty string case.
Diffstat (limited to 'src/printer/printer.cpp')
0 files changed, 0 insertions, 0 deletions