Up – Package index » rocq-runtime » Library rocq-runtime.lib » Hopcroft

Module `Hopcroft`Source

Hopcroft algorithm

Sourcemodule type S = sig ... end

module Make
  (Label : Map.OrderedType) : 
  S with type label = Label.t and type state = int