diff options
Diffstat (limited to 'src/lib/sounds/sounds.mli')
| -rw-r--r-- | src/lib/sounds/sounds.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lib/sounds/sounds.mli b/src/lib/sounds/sounds.mli index dcb5e8d..2fae17f 100644 --- a/src/lib/sounds/sounds.mli +++ b/src/lib/sounds/sounds.mli @@ -5,10 +5,10 @@ val muted : t -> t val a : t val e : [`Closed | `Opened] -> t -val eu : t +val eu : [`Closed | `Opened] -> t val o : t -val schwa : unit -> t +val schwa: t (** This is an empty sound. |