Function record_pat

pub fn record_pat(path: Path, pats: impl IntoIterator<Item = Pat>) -> RecordPat