diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-04 09:42:31 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-04 09:42:31 +0200 |
| commit | 0b2e63791a073000b70b4463db5d8bce88ab4d23 (patch) | |
| tree | 4d9a029f45b510913845cb55f0b856e069d91a61 /src/lib/sounds/sig.ml | |
| parent | 66cb521749672586fd5b1182b14e3c5d44829616 (diff) | |
Update
Diffstat (limited to 'src/lib/sounds/sig.ml')
| -rw-r--r-- | src/lib/sounds/sig.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/sounds/sig.ml b/src/lib/sounds/sig.ml index e84866e..512abdc 100644 --- a/src/lib/sounds/sig.ml +++ b/src/lib/sounds/sig.ml @@ -46,4 +46,6 @@ module type REPR = sig val muted : t -> t val diphtongue : t -> t -> t + + val fold : t list -> string end |