Computation_watcher.Nodetype t = | Named_or_incr : {source_code_positions : Source_code_positions.finalized;incr_info : Core.Info.t option;kind : [ `Named | `Incr ];config : Config.t;} -> t| State_machine_like : {source_code_positions : Source_code_positions.finalized;model_before : 'a;model_after : 'a;action : 'b option;sexp_of_model : 'a -> Core.Sexp.t;sexp_of_action : ('b -> Core.Sexp.t) option;kind : [ `State_machine0 | `State_machine1 | `Wrap ];config : Config.t;} -> t| Reset : {source_code_positions : Source_code_positions.finalized;model_before : 'a;model_after : 'a;sexp_of_model : 'a -> Core.Sexp.t;kind : [ `State_machine0 | `State_machine1 | `Wrap ];config : Config.t;} -> tval to_string : t -> stringval log : t -> unit