sig
module S : sig val true_str : string val false_str : string end
module B :
sig
type t = bool
val to_string : bool -> string
val pretty : Format.formatter -> bool -> unit
val hash : 'a -> int
val compare : 'a -> 'a -> int
module Datatype :
sig
type t = bool
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
end
type l = B.t
type tt = Base.tt = private Top | Bottom | Value of l
exception Error_Top
exception Error_Bottom
type t = tt
type widen_hint = Abstract_interp.Make_Lattice_Base(B).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 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 project : t -> l
val inject : l -> t
type annotation = string
val possible_annotations : string list
val pub : t
val priv : t
val annotations2state : t -> string list -> t
val constant : t
val variable : t
val use_ctrl_dependencies : bool
end