sig
  module type S =
    sig
      exception Error_Top
      exception Error_Bottom
      type t
      type widen_hint
      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 descr : Unmarshal.t
          val copy : t -> t
          val name : string
          val register_comparable :
            ?compare:(t -> t -> int) ->
            ?equal:(t -> t -> bool) -> ?hash:(t -> int) -> unit -> unit
          val is_comparable_set : unit -> bool
          val hash : t -> int
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val mem_project :
            ((Project.project -> bool) -> t -> bool) option ref
        end
      type annotation = string
      val possible_annotations : Lattice.S.annotation list
      val annotations2state : t -> Lattice.S.annotation list -> t
      val constant : t
      val variable : t
      val use_ctrl_dependencies : bool
    end
  module Weak : S
  module Medium : S
  module Strong : S
end