-record(case_end, {span :: ghtml@types:span()}).