let is_last_offset = function | NoOffset -> true | Field (_fi,NoOffset) -> true | Field (_fi,_) -> false | Index (_e,NoOffset) -> true | Index (_e,_) -> false