Module type AbstractDomain.MaxCount

val max : int

must be positive