functor (V : Value_With_Id->
  sig
    module O :
      sig
        type elt = V.t
        type t
        val empty : t
        val is_empty : t -> bool
        val mem : elt -> t -> bool
        val add : elt -> t -> t
        val singleton : elt -> t
        val remove : elt -> t -> t
        val union : t -> t -> t
        val inter : t -> t -> t
        val diff : t -> t -> t
        val equal : t -> t -> bool
        val subset : t -> t -> bool
        val iter : (elt -> unit) -> t -> unit
        val fold : (elt -> '-> 'a) -> t -> '-> 'a
        val exists : (elt -> bool) -> t -> bool
        val filter : (elt -> bool) -> t -> t
        val cardinal : t -> int
      end
    type tt = private Set of O.t | Top
    exception Error_Top
    exception Error_Bottom
    type t = tt
    type widen_hint = O.t
    val equal : t -> t -> bool
    val join : t -> t -> t
    val link : t -> t -> t
    val meet : t -> t -> t
    val narrow : t -> t -> t
    val bottom : t
    val top : t
    val is_included : t -> t -> bool
    val is_included_exn : t -> t -> unit
    val intersects : t -> t -> bool
    val pretty : Format.formatter -> t -> unit
    val widen : widen_hint -> t -> t -> t
    val cardinal_zero_or_one : t -> bool
    val cardinal_less_than : t -> int -> int
    val tag : t -> int
    module Datatype :
      sig
        type t = t
        val rehash : t -> t
        val descr : Unmarshal.t
        val copy : t -> t
        val name : string
        val register_comparable :
          ?compare:(t -> t -> int) ->
          ?equal:(t -> t -> bool) ->
          ?hash:(t -> int) -> ?physical_hash:(t -> int) -> unit -> unit
        val is_comparable_set : unit -> bool
        val hash : t -> int
        val physical_hash : t -> int
        val equal : t -> t -> bool
        val compare : t -> t -> int
        val contain_project : (Project.project -> t -> bool) option ref
      end
    val hash : t -> int
    val inject_singleton : O.elt -> t
    val inject : O.t -> t
    val empty : t
    val apply2 : (O.elt -> O.elt -> O.elt) -> t -> t -> t
    val apply1 : (O.elt -> O.elt) -> t -> t
    val fold : (O.elt -> '-> 'a) -> t -> '-> 'a
    val iter : (O.elt -> unit) -> t -> unit
    val project : t -> O.t
    val mem : O.elt -> t -> bool
  end