Parameter Make.TreeManipulation

val is_ghost_node : Tree.V.t -> bool