sig val pointer_access : 'a Fol.d_term -> 'a Fol.d_term val pointer_update : 'a Fol.d_term -> 'a Fol.d_term -> 'a Fol.d_term end