focal (3) Numbers.Int.3o.gz

NAME

       Numbers.Int - no description

Module

       Module   Numbers.Int

Documentation

       Module Int
        : sig end

       include Identifiable.S

       val zero_to_n : int -> Set.t

       zero_to_n n is the set of numbers {0, ..., n} (inclusive).