package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val epsilon : float
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 : Format.formatter -> float -> unit

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

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

Innovation. Community. Security.