Module Utils_debug


module Utils_debug: sig .. end

val prerr_type_table : unit -> unit
val prerr_player_to_role : unit -> unit
val prerr_string_id : unit -> unit
val prerr_id_string : unit -> unit
val prerr_global_ids : unit -> unit
val prerr_mem_map : unit -> unit
val prerr_value_table : unit -> unit
val dump : unit -> unit
val gvi_get_name : int -> int
val affiche_equation : int * Types.atoms_type Types.term_structure -> unit
val affiche_debug : (int * Types.atoms_type Types.term_structure) list -> unit