Module `Diff.Root_transition`

A root transition is a representation of the * change that occurs in a transition frontier when the * root is transitioned. It contains a pointer to the new * root, as well as pointers to all the nodes which are removed * by transitioning the root.

type 'repr t = {

new_root : Root_data.Limited.t;

garbage : 'repr Node_list.t;

just_emitted_a_proof : bool;

}

type 'repr root_transition = 'repr t

module Lite : sig ... end