Module Explore.Make

Parameters

Signature

val depth_first : S.state -> S.state
val debug_depth_first : S.state -> S.state
val breadth_first : S.state -> S.state
val debug_breadth_first : S.state -> S.state