Functor Emc.S.Count

module Count: functor (A : ARITH) -> sig .. end

To count solutions using any arithmetic implementation

Parameters:

A : ARITH

val count_solutions : Emc.S.t -> A.t