!7

concept Example {
  S input;
  S a, b, c;
}

cmodule TripelizeExamples > DynCRUD<Example> {
  // API
  
  void addEntry(S input, T3<S> t) {
    uniq_sync(Example, +input, a := t.a, b := t.b, c := t.c);
  }
}