Module Why_ops.M2


module M2: sig .. end
for model M2 only

val mem_access : '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