(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-01-30 19:06:51 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-02-05 13:56:52 CET by Kim Nguyễn>
*)
type node = {
}
let print_node_ptr fmt n =
- Format.fprintf fmt "%s"
- (if n == nil then "<NIL>" else
- if n == dummy then "<DUMMY>" else
- "<NODE " ^ string_of_int n.preorder ^ ">")
+ Format.fprintf fmt "<%s>"
+ (if n == nil then "NIL" else
+ if n == dummy then "DUMMY" else
+ "NODE " ^ string_of_int n.preorder)
let debug_node fmt node =
Format.fprintf fmt "{ tag=%s; preorder=%i; data=%s; first_child=%a; next_sibling=%a; parent=%a }"