Transition_handler.Unprocessed_transition_cachemodule Name : sig ... endmodule Transmuter : sig ... endmodule Registry : sig ... endtype target = Transmuter.Target.ttype source = Transmuter.Source.ttype t = target Cache_lib.Cache.tval register_exn : t -> source -> ( source, target ) Cache_lib.Cached.tval final_state : 
  t ->
  source ->
  target Cache_lib.Intf.final_state Core_kernel.Option.t