public TreeMapPatternPair(TreeReference key, TreePattern value) { Key = key; Value = value; }
public TreeRecordPatternField(string name, TreePattern pattern) { Name = name; Pattern = pattern; }
public TreeMapPatternPair(TreeReference key, TreePattern value) { Key = key; Value = value; }
public TreeRecordPatternField(string name, TreePattern pattern) { Name = name; Pattern = pattern; }