- (mk_fun (Tree.mk_nil) "Tree.mk_nil")
- (mk_fun (Tree.first_child) "Tree.text_below")
- (mk_fun (Tree.tagged_child) "Tree.tagged_child")
- (mk_fun (Tree.select_child) "Tree.select_child") (* !! no select_child in Tree.ml *)
- (mk_fun (Tree.tagged_desc) "Tree.tagged_desc")
- (mk_fun (Tree.select_desc) "Tree.select_desc") (* !! no select_desc *)
- (mk_fun (Tree.first_child) "Tree.first_child")
-
- let choose_jump_next a b c d =
+ (mk_fun (fun _ -> Tree.nil) "Tree.mk_nil")
+ (mk_fun (Tree.tagged_child tree) "Tree.tagged_child")
+ (mk_fun (Tree.select_child tree) "Tree.select_child") (* !! no select_child in Tree.ml *)
+ (mk_fun (Tree.tagged_desc tree) "Tree.tagged_desc")
+ (mk_fun (Tree.select_desc tree) "Tree.select_desc") (* !! no select_desc *)
+ (mk_fun (Tree.first_child tree) "Tree.first_child")
+
+ let choose_jump_next tree a b c d =