D | |
Domain [Solve] |
Input signature of functor
Solve.Make representing the domain
of the equations.
|
I | |
ItemEq [Table] | |
ItemEq [Solve] |
Input signature of functor
Solve.Make representing the variables.
|
S | |
Solver [Solve] |
Output signature of functor
Solve.Make .
|
T | |
Table |