module Make_dynamic:Build a new dynamic graph, as part of the whole Dynamic State Dependency Graph.
Parameters: |
|
include State.Local
module Datatype:Datatype.S
with type t = t
val add_state : State.t -> State.t list -> unit
val remove_state : State.t -> unit
val real_clear : unit -> unit