Module Astral_internal.SL_printer

val pretty_eq : SL.Term.t list -> string
val pretty_distinct : SL.Term.t list -> string
val pretty_pointsto : SL.Term.t -> SL.Term.t list -> string
val pretty_atom : SL.t -> string
val pretty_binder : SL.Variable.t list -> string
val pretty_symbolic_heap : SL.t -> string
type printer = {
  1. eq : string;
  2. neq : string;
  3. pto : string;
  4. star : string;
  5. and_ : string;
  6. emp : string;
  7. true_ : string;
  8. false_ : string;
  9. existential : string;
  10. qf_separator : string;
  11. qf_dot : string;
  12. struct_begin : string;
  13. struct_end : string;
  14. struct_separator : string;
  15. nil : string;
  16. print_var : SL.Variable.t -> string;
  17. print_struct : MemoryModel.StructDef.t -> string;
}
val default_printer : printer
val (++) : string -> string -> string
val show_list : ?sep:string -> ?emp:string -> ('a -> string) -> 'a list -> string
val print_term : printer -> (Astral_internal__SL.Variable.t -> string) -> SL.Term.t -> string
val print_atom : printer -> SL.t -> string
val print_symbolic_heap : ?precise:bool -> ?p:printer -> SL.t -> string