package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

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