module type Discrete =sig..end
type discrete
val to_int : discrete -> intval succ : discrete -> discreteval pred : discrete -> discreteval (--) : discrete ->
discrete -> discrete BatEnum.tval (---) : discrete ->
discrete -> discrete BatEnum.t