Module type Signature.NAME_DPDS


module type NAME_DPDS = sig .. end

val name : string
Name of the generated internal state.
val dependencies : Project.Computation.t list
Dependencies of the generated internal state.