Frama-C API - Rformat
val 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
.
val pp_time : Stdlib.Format.formatter -> float -> unit
Pretty print time in hour, minutes, seconds, or milliseconds, as appropriate
val pp_time_range : float array -> Stdlib.Format.formatter -> float -> unit
type command =
| CMD of string
| ARG of string * string
| TEXT
val pretty : (Stdlib.Format.formatter -> string -> string -> unit) -> Stdlib.Format.formatter -> string -> unit