Hopcroft
Hopcroft algorithm
module type S = sig ... end
module Make (Label : Stdlib.Map.OrderedType) : S with type label = Label.t and type state = int