Module Dalton_sig

module Dalton_sig: sig  end
Library module parameters.

The Dalton solver is parametrized by several modules, which allow defining the term algebra, pretty-print, drawing and errors report. This module gives the expected signatures of this modules.

The ground algebra

module type GROUND = sig  end
The ground term algebra is specified by an implementation of the signature GROUND.


module type PRINT = sig  end
Printing of constraints may be parametrized by an implementation of the signature PRINT.

Error report

module type ERROR_REPORT = sig  end
The implementation of the signature ERROR_REPORT given to the library allows customizing error messages printed when unification, resolution or comparison fail.


module type DRAW = sig  end
Graphical representation of schemes is controlled by a module of signature DRAW giving an implementation of drawing primitives.