Module Filetree


module Filetree: sig .. end
The tree containing the list of modules and functions together with dynamic columns


type filetree_node =
| File of string * Cil_types.global list
| Global of Cil_types.global (*Caml type for the infos on a node of the tree*)
class type t = object .. end
val make : GTree.view -> t
Create a file tree packed in the given tree_view.