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/sounds/sounds.mli | 1 - 1 file changed, 1 deletion(-) (limited to 'src/lib/sounds/sounds.mli') diff --git a/src/lib/sounds/sounds.mli b/src/lib/sounds/sounds.mli index 8a07db3..8c11488 100644 --- a/src/lib/sounds/sounds.mli +++ b/src/lib/sounds/sounds.mli @@ -1,5 +1,4 @@ module Sig = Sig -module Repr = Repr type t val muted : t -> t -- cgit v1.2.3