Interval_unix (core_unix.core_unix.interval_unix.Interval

module type S_time = sig ... end

S_time is a signature that's used below to define the interfaces for Time and Time_ns without duplication.

Specialized time interval types

module Time : 
  S_time
    with module Time := Core.Time_float
     and type t = Core.Time_float.t Interval_lib.Interval.t

module Time_ns : 
  S_time
    with module Time := Core.Time_ns
     and type t = Core.Time_ns.t Interval_lib.Interval.t

module Stable : sig ... end

Stable is used to build stable protocols. It ensures backwards compatibility by checking the sexp and bin-io representations of a given module. Here it's applied to the Time, and Time_ns intervals.