Diff.Node_list
type full_node = {
transition : Mina_block.Validated.t;
scan_state : Staged_ledger.Scan_state.t;
}
type lite_node = Mina_base.State_hash.Stable.V1.t
type _ t =
| Full : full_node list -> full t
| Lite : lite_node list -> lite t
type 'repr node_list = 'repr t
val to_lite : full_node list -> lite_node list
module Lite : sig ... end