haved/DafCompiler

Proper printing of signatures

Closed this issue · 1 comments

haved commented

We should replace all printSignature() with proper overrides of printConcretableInfo

haved commented

We don't do C++ anymore. This does not apply to the OCaml version.