static O owner; static bool ai_cache_hasTriple(T3 t) { ret ai_cache_hasTriple(t.a, t.b, t.c); } static bool ai_cache_hasTriple(S a, S b, S c) { ret (bool) call(owner, 'ai_cache_hasTriple, a, b, c); } static S ai_postTriple(T3 t) { ret ai_postTriple(t.a, t.b, t.c); } static S ai_postTriple(S a, S b, S c) { ret (S) call(owner, 'ai_postTriple, a, b, c); } static L allIndexedFullTerms() { ret (L) call(owner, 'allIndexedFullTerms); } static void ai_spec_init() { if (owner == null) owner = creator(); } static MultiMap dwlw_fullNodeIndex_ci() { fail("Shouldn't call"); }