summaryrefslogtreecommitdiff
path: root/src/lib/sounds/sig.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib/sounds/sig.ml')
-rw-r--r--src/lib/sounds/sig.ml55
1 files changed, 54 insertions, 1 deletions
diff --git a/src/lib/sounds/sig.ml b/src/lib/sounds/sig.ml
index 372b888..6b496d2 100644
--- a/src/lib/sounds/sig.ml
+++ b/src/lib/sounds/sig.ml
@@ -1,4 +1,55 @@
+module type REPR = sig
+ type t
+
+ val none: t
+
+ val a : t
+ val a_nasal : t
+
+ val e_opened : t
+ val e_closed : t
+ val schwa : t
+
+ val eu : t
+
+ val o : t
+ val o_nasal : t
+
+ val i : t
+ val i_nasal : t
+
+ val y : t
+ val y_nasal : t
+
+ val u : t
+ val p : t
+ val b : t
+ val t : t
+ val d : t
+ val k : t
+ val g : t
+ val f : t
+ val v : t
+ val ch : t
+ val j : t
+ val s : t
+ val z : t
+ val m : t
+ val n : t
+ val l : t
+ val r : t
+
+ val semi_voyel_w : t
+
+ val semi_voyel_y : t
+
+ val muted : t -> t
+
+ val diphtongue : t -> t -> t
+end
+
module type T = sig
+
type t
val muted : t -> t
@@ -66,6 +117,8 @@ module type T = sig
val is_voyel : t -> bool
val is_nasal : t -> bool
- val repr : t -> string
+ val repr
+ : (module REPR with type t = 'a) -> t -> 'a
end
+