package cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type timerModeEnum =
  1. | Disabled
  2. | SoftwareTimer
val reset : timerModeEnum -> unit
val countCalls : bool Pervasives.ref
val time : string -> ('a -> 'b) -> 'a -> 'b
val repeattime : float -> string -> ('a -> 'b) -> 'a -> 'b
val print : Pervasives.out_channel -> string -> unit
val lookupTime : string -> float
val timethis : ('a -> 'b) -> 'a -> 'b
val lastTime : float Pervasives.ref