Module Make.Incr

type 'a t