Record value (source code)

= Record value

= Left-to-right maxima
{synonym}

= Record high
{synonym}