public VisitMkSequence ( MkSequence seq ) : void | ||
seq | MkSequence | |
return | void |
public void VisitMkSequence(MkSequence seq)
{
writer.Write("SEQ(");
WriteExpression(seq.Head);
writer.Write(", ");
WriteExpression(seq.Tail);
writer.Write(")");
}