module M2: sig .. end
sig
end
val mem_access : 'a Fol.d_term -> 'a Fol.d_term -> 'a Fol.d_term
'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
'a Fol.d_term -> 'a Fol.d_term -> 'a Fol.d_term -> 'a Fol.d_term