OpExp(EqOp,
 SeqExp[],
 SeqExp[])