- ?use_hint_callback: (hint -> unit) -> (* default = do nothing *)
- ?destroy_callback: (unit -> unit) -> (* default = do nothing *)
+ ?use_hint_callback: (hint -> unit) ->
+ ?describe_hint_callback: (hint -> unit) ->
+ ?destroy_callback: (unit -> unit) ->