-record(type_field_line, {
    type_field :: graded@internal@types:type_field_annotation()
}).