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