Variable.stable

A list of relations whose union are the accepted tuples.

class Variable(TupleT)
Relation!TupleT[] stable;

Meta