module Tools: sig end
val at_exit_functions : (unit -> unit) list Pervasives.ref
val add_at_exit : (unit -> unit) -> unit
val do_at_exit : unit -> unit
Functions to run at reset
|
val at_reset_functions : (unit -> unit) list Pervasives.ref
val add_at_reset : (unit -> unit) -> unit
val do_at_reset : unit -> unit
val utime : ('a -> 'b) -> 'a -> 'b * float
val timers : float list Pervasives.ref
val profile : string -> ('a -> 'b) -> 'a -> 'b
| Parameters: |
|
str |
: |
string
|
|
f |
: |
'a -> 'b
|
|
val dynamic_let : 'a Pervasives.ref * 'a -> ('b -> 'c) -> 'b -> 'c
| Parameters: |
|
(x,v) |
: |
'a Pervasives.ref * 'a
|
|
f |
: |
'b -> 'c
|
|
a |
: |
'b
|
|
Global variable for linenumers
|
val linenumber : int Pervasives.ref
type mode =
val mode : mode Pervasives.ref