-record(external_line, {external :: graded@internal@types:external_annotation()}).