VDict mobile



Reducible Expression. An expression matching the left hand
side of a reduction rule or definition.