devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Var
method ref : 'a. 'a -> ( 'a -> t ) -> string -> 'a ref
method get_count : string -> ( unit -> int option ) -> unit
method get_bytes : string -> ( unit -> int option ) -> unit
method get_time : string -> ( unit -> Devkit_core.Time.t option ) -> unit
method count : string -> int ref
method bytes : string -> int ref
method time : string -> float ref
method unregister : unit -> unit
method get : (string * t) list
method show : string