Index of module types

P
PQ [PQueue]	The signature for a priority queue type
PUZZLE [Solver]	A PUZZLE describes the state space of a puzzle.
PUZZLE [Animation]
S
S [Solver]	Signature of the functors `Solver.Make` and `Solver.MakeUnguided`