Module Exploration.Max_depthSource

Sourceval get : unit -> int
Sourceval update : int -> unit