From 66cb521749672586fd5b1182b14e3c5d44829616 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 3 Sep 2021 17:44:44 +0200 Subject: Extract representation in dedicated library --- src/lib/repr/default.mli | 1 + 1 file changed, 1 insertion(+) create mode 100644 src/lib/repr/default.mli (limited to 'src/lib/repr/default.mli') diff --git a/src/lib/repr/default.mli b/src/lib/repr/default.mli new file mode 100644 index 0000000..27a84bb --- /dev/null +++ b/src/lib/repr/default.mli @@ -0,0 +1 @@ +include Sounds.Sig.REPR with type t = String.t -- cgit v1.2.3