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