sig type t = string val simple : t -> t val concat : t -> t -> t val depth : t -> int val get_relative : t -> t -> t val father : t -> t end