Module Project.Computation


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
Main input signature of Project.Computation.Register.
module type INFO = sig .. end
Some additional informations used by Project.Computation.Register.
module type MINIMAL_OUTPUT = sig .. end
module type OUTPUT = sig .. end
Output signature of Project.Computation.Register.
module Register: 
functor (Datatype : Project.Datatype.S) ->
functor (State : INPUT with type t = Datatype.t) ->
functor (Info : INFO) -> OUTPUT with module Datatype = Datatype
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.