trace-state

Vocabulary

lcs.private

Definition

IN: lcs.private

TUPLE: trace-state old new table i j ;