Tree search, strategies, user functions and .mli with documentation