object
  method is_atomic_lv : Wp.Sigs.s_lval -> bool
  method pp_addr : Stdlib.Format.formatter -> Wp.Sigs.s_lval -> unit
  method virtual pp_atom : Stdlib.Format.formatter -> Wp.Lang.F.term -> unit
  method pp_chunk : Stdlib.Format.formatter -> string -> unit
  method virtual pp_flow : Stdlib.Format.formatter -> Wp.Lang.F.term -> unit
  method pp_host : Stdlib.Format.formatter -> Wp.Sigs.s_host -> unit
  method pp_label : Stdlib.Format.formatter -> Wp.Pcfg.label -> unit
  method pp_lval : Stdlib.Format.formatter -> Wp.Sigs.s_lval -> unit
  method pp_offset : Stdlib.Format.formatter -> Wp.Sigs.s_offset list -> unit
  method pp_ofs : Stdlib.Format.formatter -> Wp.Sigs.s_offset -> unit
end