Searched defs:OP_LEN (Results 1 – 2 of 2) sorted by relevance
196 OP_LEN,/* A B R(A) := length of R(B) */ enumerator
265 OP_LEN,/* A B R[A] := #R[B] (length operator) */ enumerator