fun inf (Lf _) = [] | inf (Nd(l, v, r) = inf l @ [v] @ inf r