Module Interval_lib

module Interval : sig ... end