module type STRAT = sig .. end
sig
end
type t
type vertex
val empty : t
t
val add : t -> vertex -> vertex -> t
t -> vertex -> vertex -> t
val next : t -> vertex -> vertex
t -> vertex -> vertex
Invalid_argument