public Concat(Doc doc1, Doc doc2) { Doc1 = doc1; Doc2 = doc2; }
public Union(Doc doc1, Doc doc2) { Doc1 = doc1; Doc2 = doc2; }