Parameter Make.2-TreeManipulation

val is_ghost_node : Tree.V.t -> bool