module type Logic =sig
..end
type
loc
val vars : loc Memory.sloc list -> Lang.F.Vars.t
val pp_logic : Format.formatter -> loc Memory.logic -> unit
val pp_sloc : Format.formatter -> loc Memory.sloc -> unit
val pp_region : Format.formatter -> loc Memory.sloc list -> unit