(* output data structures ***************************************************)
type path = string list (* the name of an attribute *)
(* output data structures ***************************************************)
type path = string list (* the name of an attribute *)