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.

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.

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.