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