Sourcetype t = {snippet_start : string;source_border_left : string;source_border_left_break : string;note_bullet : string;single_primary_caret : string;single_secondary_caret : string;multi_primary_caret_start : string;multi_primary_caret_end : string;multi_secondary_caret_start : string;multi_secondary_caret_end : string;multi_top_left : string;multi_top : string;multi_bottom_left : string;multi_bottom : string;multi_left : string;pointer_left : string;
}