Doc comments and renamed Rec -> RecFn.