Functor Emc.S.Count

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

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