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