module Computation: sig
.. end
Internal state (aka Computation) representation and how to register them.
An internal state contains the result of a computation.
include Project.KIND
Common operations.
type
selection
Just an alias for Project.Selection.t
.
module type INPUT = sig
.. end
module type INFO = sig
.. end
module type MINIMAL_OUTPUT = sig
.. end
module type OUTPUT = sig
.. end
module Register:
Register(Datatype)(State)(Info)
registers a new kind of computation by
side-effect.
module Dynamic: functor (
Local
:
sig
val restore : Project.t -> Project.project -> unit
How to restore a just-unmarshaled state kind.
This function must return a closure which clears the state in the
given project.
end
) ->
functor (
Info
:
INFO
) ->
sig
.. end
Generate a fresh dynamic state dependency graph.
val dump_dependencies : ?only:selection ->
?except:selection -> string -> unit
Debugging purpose only.
val dump_dynamic_dependencies : ?only:selection ->
?except:selection -> string -> unit
Debugging purpose only.