sig
  val tree_in_entry :
    Structure.symbol -> Structure.tree -> Structure.desc -> Structure.tree
end