RecordPattern constructor

RecordPattern()