Deepening (elm_playground.Deepening)

type 'move plan = {

value : float;
best : 'move option;
depth : int;
nodes : int;

}

val search : 
  ?budget:int ->
  ?order:('state -> 'move list -> 'move list) ->
  ?key:('state -> int64) ->
  ?table:'move Zobrist.table ->
  ('state, 'move) Minimax.game ->
  depth:int ->
  'state ->
  'move plan

type ('state, 'move) thinking

val start : 
  ?order:('state -> 'move list -> 'move list) ->
  ?key:('state -> int64) ->
  ?table:'move Zobrist.table ->
  ('state, 'move) Minimax.game ->
  depth:int ->
  'state ->
  ('state, 'move) thinking

val think : nodes:int -> ('state, 'move) thinking -> ('state, 'move) thinking

val plan : ('state, 'move) thinking -> 'move plan

val done_ : ('state, 'move) thinking -> bool