Module Debugprinting


module Debugprinting: sig .. end

val print_debug : string -> unit
val str_term_dbg : (int * string) list -> Types_unify.term -> string
val str_list_dbg : (int * string) list -> int list -> string
val str_partition_dbg : (int * string) list -> Types_unify.t_partition -> string
val str_partitions_dbg : (int * string) list -> Types_unify.t_partition list -> string
val str_pairlist_dbg : (int * string) list -> (int * int) list -> string
val str_termlist_dbg : (int * string) list -> string -> Types_unify.term list -> string
val str_sub_ls_clot_dbg : (int * string) list -> Types_unify.t_subst -> Types_unify.t_equal -> string
val str_sub_clot_dbg : (int * string) list -> Types_unify.t_subst -> string
val str_subs_clot_dbg : (int * string) list ->
Types_unify.t_subst list ->
string -> Types_unify.term -> Types_unify.term -> string
val str_sub_ls_dbg : (int * string) list -> Types_unify.t_equal -> string
val str_sub_dbg : (int * string) list -> Types_unify.t_subst -> string
val str_subs_dbg : (int * string) list -> Types_unify.t_subst list -> string -> string
val lst_sub_ls_dbg : Types_unify.t_equal -> (Types_unify.term * Types_unify.term) list
val lst_sub_dbg : Types_unify.t_subst -> (Types_unify.term * Types_unify.term) list
val lst_subs_dbg : Types_unify.t_subst list ->
string -> (Types_unify.term * Types_unify.term) list list
val str_eqns_dbg : (int * string) list -> Types_unify.term list list -> string
val str_po_dbg : (int * string) list -> Types_unify.t_po -> string