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