svoid dm_addTripelizeExample(S input, T3<S> triple) {
  O mod = dm_require("#1021331/TripelizeExamples");
  dm_call(mod, 'addEntry, input, dm_export(mod, triple));
}

svoid mapLike dm_addTripelizeExample(O tripelizeFunction, S input) {
  dm_addTripelizeExample(input, assertNotNull((T3<S>) callF(tripelizeFunction, input)));
}