add top.mli

rgrinberg · rgrinberg · commit 3646dbaa7f67 · 2020-11-10T11:59:19.000-08:00
Signed-off-by: Rudi Grinberg &lt;me@rgrinberg.com&gt;
diff --git a/bin/top.mli b/bin/top.mli
@@ -0,0 +1 @@
+val command : unit Cmdliner.Term.t * Cmdliner.Term.info

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+val command : unit Cmdliner.Term.t * Cmdliner.Term.info`