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