Module `Vm_printers`

val ppripos : (Cemitcodes.reloc_info * 'a) -> unit
val print_vfix : unit -> unit
val print_vfix_app : unit -> unit
val print_vswith : unit -> unit
val ppsort : Term.sorts -> unit
val print_idkey : Vmvalues.id_key -> unit
val ppzipper : Vmvalues.zipper -> unit
val ppstack : Vmvalues.zipper list -> unit
val ppatom : Vmvalues.atom -> unit
val ppwhd : Vmvalues.whd -> unit
val ppvblock : Vmvalues.vblock -> unit
val ppvalues : Vmvalues.values -> unit