Add Module interface file for counter.ml