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