module States:sig
..end
val iter : ?prj:Project.t -> (string -> 'a Type.t -> 'a -> bool -> unit) -> unit
iterates a function f
over all registered states. Arguments of f
are
its name, its type value, its value for the given project
(Project.current ()
by default) and a boolean which indicates if it is
already computed.
val fold : ?prj:Project.t ->
(string -> 'a Type.t -> 'a -> bool -> 'acc -> 'acc) -> 'acc -> 'acc
As iter, but for folding.
val find : ?prj:Project.t -> string -> 'a Type.t -> 'a * bool
Project.current ()
by default)