diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 15:38:37 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:01:12 +0100 |
| commit | 77544bdfad2af41514ec1435f706fee87ea2969e (patch) | |
| tree | 4de23870e08711da25ff92e9670370fc0a74e459 /elements/timer.mli | |
| parent | ad526111f0dd619ae9e0e98ef2253146b58a068f (diff) | |
Added viz.js code
Diffstat (limited to 'elements/timer.mli')
| -rwxr-xr-x | elements/timer.mli | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/elements/timer.mli b/elements/timer.mli deleted file mode 100755 index 0509ad0..0000000 --- a/elements/timer.mli +++ /dev/null @@ -1,11 +0,0 @@ -open Brr_note_kit - -type t - -val create : unit -> t * Time.span Note.E.t - -val start: t -> float -> unit - -val stop: t -> unit - -val delay : t -> float |