functor (Structure : Structure.S) ->
  sig
    val tree_in_entry :
      Structure.symbol -> Structure.tree -> Structure.desc -> Structure.tree
  end