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