summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
e6a82e8)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
match test with
| {height = h; weight = w; char_tester = test} ->
match test with
| {height = h; weight = w; char_tester = test} ->
- (* go on to use h, w, and test ... *)
+ (* same as preceding *)
Anyway, using record types, we might define the tree zipper interface like so:
Anyway, using record types, we might define the tree zipper interface like so: