summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
2873d9e)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
{tree = Root; filler = t}
;;
{tree = Root; filler = t}
;;
let make_fringe_enumerator (t: 'a tree) =
(* create a zipper targetting the root of t *)
let zstart = new_zipper t
let make_fringe_enumerator (t: 'a tree) =
(* create a zipper targetting the root of t *)
let zstart = new_zipper t