functor (E : Entries) ->
sig
module E :
sig
type key = E.key
type data = E.data
val name : string
val compare : Model.Entries.key -> Model.Entries.key -> int
val pretty : Format.formatter -> Model.Entries.key -> unit
end
type key = Model.Static.E.key
type data = Model.Static.E.data
module KEY :
sig
type t = Model.Static.E.key
val compare : Model.Static.E.key -> Model.Static.E.key -> int
end
module MAP :
sig
type key = KEY.t
type 'a t = 'a FCMap.Make(KEY).t
val empty : 'a t
val is_empty : 'a t -> bool
val mem : key -> 'a t -> bool
val add : key -> 'a -> 'a t -> 'a t
val singleton : key -> 'a -> 'a t
val remove : key -> 'a t -> 'a t
val merge :
(key -> 'a option -> 'b option -> 'c option) ->
'a t -> 'b t -> 'c t
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val for_all : (key -> 'a -> bool) -> 'a t -> bool
val exists : (key -> 'a -> bool) -> 'a t -> bool
val filter : (key -> 'a -> bool) -> 'a t -> 'a t
val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
val cardinal : 'a t -> int
val bindings : 'a t -> (key * 'a) list
val min_binding : 'a t -> key * 'a
val max_binding : 'a t -> key * 'a
val choose : 'a t -> key * 'a
val split : key -> 'a t -> 'a t * 'a option * 'a t
val find : key -> 'a t -> 'a
val map : ('a -> 'b) -> 'a t -> 'b t
val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
end
module SET :
sig
type elt = KEY.t
type t = FCSet.Make(KEY).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 compare : t -> t -> int
val equal : t -> t -> bool
val subset : t -> t -> bool
val iter : (elt -> unit) -> t -> unit
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
val for_all : (elt -> bool) -> t -> bool
val exists : (elt -> bool) -> t -> bool
val filter : (elt -> bool) -> t -> t
val partition : (elt -> bool) -> t -> t * t
val cardinal : t -> int
val elements : t -> elt list
val choose : t -> elt
val split : elt -> t -> t * bool * t
val find : elt -> t -> elt
val of_list : elt list -> t
val min_elt : t -> elt
val max_elt : t -> elt
val nearest_elt_le : elt -> t -> elt
val nearest_elt_ge : elt -> t -> elt
end
val demon :
(Model.Static.MAP.key -> Model.Static.E.data -> unit) list
Pervasives.ref
type entries = {
mutable ident : int;
mutable index : Model.Static.E.data Model.Static.MAP.t;
mutable lock : Model.Static.SET.t;
}
module ENTRIES :
sig
type t = entries
val ty : t Type.t
val name : string
val descr : t Descr.t
val packed_descr : Structural_descr.pack
val reprs : t list
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val pretty_code : Format.formatter -> t -> unit
val internal_pretty_code :
Type.precedence -> Format.formatter -> t -> unit
val pretty : Format.formatter -> t -> unit
val varname : t -> string
val mem_project : (Project_skeleton.t -> bool) -> t -> bool
val copy : t -> t
end
module REGISTRY :
sig
val self : State.t
val name : string
val mark_as_computed : ?project:Project.t -> unit -> unit
val is_computed : ?project:Project.t -> unit -> bool
module Datatype : Datatype.S
val add_hook_on_update : (Datatype.t -> unit) -> unit
val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit
type data = ENTRIES.t
val set : data -> unit
val get : unit -> data
val clear : unit -> unit
end
val entries : unit -> Model.Static.entries
val mem : Model.Static.MAP.key -> bool
val find : Model.Static.MAP.key -> Model.Static.E.data
val get : Model.Static.MAP.key -> Model.Static.E.data option
val fire : Model.Static.MAP.key -> Model.Static.E.data -> unit
val callback :
(Model.Static.MAP.key -> Model.Static.E.data -> unit) -> unit
val define : Model.Static.MAP.key -> Model.Static.E.data -> unit
val update : Model.Static.MAP.key -> Model.Static.E.data -> unit
val memoize :
(Model.Static.MAP.key -> Model.Static.E.data) ->
Model.Static.MAP.key -> Model.Static.E.data
val compile :
(Model.Static.MAP.key -> Model.Static.E.data) ->
Model.Static.MAP.key -> unit
val iter : (Model.Static.MAP.key -> Model.Static.E.data -> unit) -> unit
val iter_sorted :
(Model.Static.SET.elt -> Model.Static.E.data -> unit) -> unit
end