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