Options  
Hashset 
Hashsets as a parameterized type using Hashtbl.

Charset 
Charsets are just hashsets of integers in the range
0255

Nfa 
Nondeterministic finite state automata, implemented using explicit
Hashtbl representations for delta (transitions that consume a
symbol) and epsilon (transitions that do not consume a symbol).

Depgraph 
We represent systems of constraints as directed usuallyacyclic
dependency graphs.

Languageops 
This module defines operations on
Depgraph.lang .

Solve 
This module contains the bulk of the solving code.

Interface  
Dprle 