From c9e8dff919c49a13bff601e78cc1e78a7cc8f506 Mon Sep 17 00:00:00 2001 From: Akshay Date: Sun, 8 Aug 2021 17:38:33 +0530 Subject: dump --- src/chart.mli | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/chart.mli (limited to 'src/chart.mli') diff --git a/src/chart.mli b/src/chart.mli new file mode 100644 index 0000000..3c758c4 --- /dev/null +++ b/src/chart.mli @@ -0,0 +1,5 @@ +type t +val default : t +val plot : int list -> t -> t +val with_options : Options.t -> t -> t +val pp : out_channel -> t -> unit -- cgit v1.2.3