package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/src/acgtk.utilsLib/timer.ml.html

Source file timer.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
type t = Mtime_clock.counter
let top = Mtime_clock.counter
let elapsed fmt c =
  Mtime.Span.pp fmt (Mtime_clock.count c)
let diff fmt (c1, c2) =
  Mtime.Span.(pp fmt (abs_diff (Mtime_clock.count c1) (Mtime_clock.count c2)))

module Log = Xlog.Make (struct
    let name = "Timer"
  end)


let msg = Log.msg
let app = Log.app
let err = Log.err
let warn = Log.warn
let info = Log.info
let debug = Log.debug

let set_level l = Logs.Src.set_level Log.src (Some l)