Parameter Algo.3-S

type t
type vertex = G.vertex
val empty : t
val add : t -> vertex -> vertex -> t
val next : t -> vertex -> vertex
  • raises Invalid_argument

    if vertex's image is not defined