!7

cmodule PatternMaker {
  S examplesText, counterexamplesText;
  Set<S> examples, counterexamples;
  //switchable S caseID = aGlobalID();

  /*start {
    dbWithCase(caseID);
  }*/

  visual
    withCenteredButtons(jhgrid(
      jCenteredSection("Examples", dm_textArea examplesText()),
      jCenteredSection("Counterexamples", dm_textArea counterexamplesText())),
      jThreadedButton("Think", rEnter think));

  void think {
    setField(examples := asTreeSet(tlftj(examplesText));
    setField(counterexamples := asTreeSet(tlftj(counterexamplesText));
  }
}