Module `Isa_btree__Isa_btree_intf.Internal_leaf_stream_impl_t`

type ('r, 'leaf, 'frame) _t = { leaf : 'leaf; isa_ls_state : ('r, 'leaf, 'frame) Isa_btree.Isa_export.Leaf_stream_state.leaf_stream_state; }: We augment the basic Isabelle type with some extra information: the current leaf. This type is for debugging - you shouldn't need to access components.