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