sig val structure : Document.tree_zipper Pervasives.ref end