sig
  val mem_access :
    'Fol.d_term -> 'Fol.d_term -> 'Fol.d_term -> 'Fol.d_term
  val mem_update :
    'Fol.d_term ->
    'Fol.d_term -> 'Fol.d_term -> 'Fol.d_term -> 'Fol.d_term
  val shift_offset : 'Fol.d_term -> 'Fol.d_term -> 'Fol.d_term
end