Module Dalton

module Dalton: sig  end

The core of the library

module Make: functor (Ground : Dalton_sig.GROUND) ->
         functor (Print : Dalton_sig.PRINT) ->
           functor (Draw : Dalton_sig.DRAW) ->
             functor (Report : Dalton_sig.ERROR_REPORT) -> sig  end

The constraint solver comes as a functor parametrized by four modules whose respective expected signatures are given in Dalton_sig.