package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

Module `Valmari`Source

Valmari is an automata minimization algorithm, described in "Fast brief practical DFA minimization" https://dl.acm.org/doi/10.1016/j.ipl.2011.12.004

Sourcemodule type DFA = sig ... end

Sourcemodule type INPUT = sig ... end

module Minimize
  (Label : Stdlib.Map.OrderedType)
  (In : INPUT with type label := Label.t) : 
  sig ... end

Sourcemodule Minimize_with_custom_decomposition (In : sig ... end) : sig ... end