Searched defs:OP_CLOSURE (Results 1 – 2 of 2) sorted by relevance
205 OP_CLOSURE,/* A Bx R(A) := closure(KPROTO[Bx], R(A), ... ,R(A+n)) */ enumerator
221 OP_CLOSURE,/* A Bx R(A) := closure(KPROTO[Bx]) */ enumerator