!7

static O owner;

static S ai_postTriple(T3<S> t) {
  ret ai_postTriple(t.a, t.b, t.c);
}

static S ai_postTriple(S a, S b, S c) {
  ret (S) callF(owner, 'postTriple, a, b, c);
}

static L<S> allIndexedFullTerms() {
  ret (L<S>) callF(owner, 'allIndexedFullTerms);
}

p {
  if (owner == null) owner = creator();
  for (S term : allFullIndexedTerms())
    ai_spec_unquote(term);
}