Index of types
Index of exceptions
Index of values
Index of modules


Options
Hashset
Hashsets as a parameterized type using Hashtbl.
Charset
Charsets are just hashsets of integers in the range 0-255
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 usually-acyclic dependency graphs.
Languageops
This module defines operations on Depgraph.lang.
Solve
This module contains the bulk of the solving code.
Interface
Dprle