sS ai_renderDefinitions(Collection<Pair<S>> answers, Collection<Pair<S>> unauthedAnswers) {
  ret lines(concatLists(
    mapPairsToList(answers, func(S a, S b) -> S { a + " = " + b }),
    mapPairsToList(unauthedAnswers, func(S a, S b) -> S { a + " " + unicode_questionedEquals() + " " + b })
  ));
}