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 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.
val dump_dependencies : ?only:selection ->
?except:selection -> string -> unit
Debugging purpose only.