let do_on_term_offset (preaction_offset,postaction_offset) tlv =
let preaction_toffset tlv =
match preaction_offset with None -> tlv | Some preaction_offset ->
let lv,env =
!Db.Properties.Interp.force_term_offset_to_offset tlv
in
let lv = preaction_offset lv in
!Db.Properties.Interp.force_back_offset_to_term_offset env lv
in
let postaction_toffset tlv =
match postaction_offset with None -> tlv | Some postaction_offset ->
let lv,env = !Db.Properties.Interp.force_term_offset_to_offset tlv in
let lv = postaction_offset lv in
!Db.Properties.Interp.force_back_offset_to_term_offset env lv
in
ChangeDoChildrenPost (preaction_toffset tlv, postaction_toffset)