!7

concept TempFact {
  S globalID = aGlobalID();
  S text;
}

cmodule GazelleTempFacts > DynCRUD<TempFact> {
  // API
  
  static Pair<S, Bool> addTempFact(S text) {
    Pair<TempFact, Bool> p = uniq2_sync(TempFact, +text);
    ret pair(p.a.globalID, p.b);
  }
}