Module Wp.RformatSource

Sourceval epsilon : float
Sourceval get_time : float array -> float -> int

get_time T t returns k such that T[k-1] <= t <= T[k], T is extended with T[-1]=0 and T[N]=+oo.

Sourceval pp_time : Format.formatter -> float -> unit

Pretty print time in hour, minutes, seconds, or milliseconds, as appropriate

Sourceval pp_time_range : float array -> Format.formatter -> float -> unit
Sourcetype command =
  1. | CMD of string
  2. | ARG of string * string
  3. | TEXT
Sourceval command : string -> command
Sourceval pretty : (Format.formatter -> string -> string -> unit) -> Format.formatter -> string -> unit