package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Utils.RefineSource

Refine computes the refined partition of a list of overlapping set: the smallest list of non-overlapping sets such that each set is a subset of one of the input set.

This is useful when computing the set of transitions of a DFA when the alphabet is large: rather than representing a transition for each letter separately, we group them by subset having the same destination.

Sourcemodule type DECOMPOSABLE = sig ... end
Sourcemodule type S = sig ... end

The type of refined sets

Sourcemodule Make (Set : DECOMPOSABLE) : S with type 'a t := 'a Set.t