diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-02 14:01:39 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-02 21:26:33 +0100 |
| commit | b09a05d9e38e0734f66377716b00268b50da7de8 (patch) | |
| tree | 75c5161f755e15349998af4adfe39bce46406c58 /lib/print.mli | |
Initial commit
Diffstat (limited to 'lib/print.mli')
| -rwxr-xr-x | lib/print.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/print.mli b/lib/print.mli new file mode 100755 index 0000000..2884f9b --- /dev/null +++ b/lib/print.mli @@ -0,0 +1,7 @@ +type template + +val pretty_printer : template +val minify_printer : template + +val css + : template -> Format.formatter -> Css.Types.Stylesheet.t -> unit |