mention des types à définir pour utiliser les fonctions

ocaml/affichage_auto.ml

@@ -1,3 +1,33 @@
+(* types à définir
+
+(*** regexp ***)
+type 'a regexp =
+  | Vide
+  | Epsilon
+  | Lettre of 'a
+  | Union of 'a regexp list
+  | Concat of 'a regexp list
+  | Etoile of 'a regexp;;
+(*** regexp_fin ***)
+
+(*** langloc ***)
+type 'a langloc = {
+        eps : bool;           (* indique si ε est dans le langage *)
+        p     : 'a list;        (* liste représentant P(L) *)
+        s     : 'a list;        (* liste représentant S(L) *)
+        f     : ('a * 'a) list;};;(* liste représentant F(L) *)
+(*** langloc_fin ***)
+
+(*** automate ***)
+type 'a nda =
+    {nQ : int ;      (* nombre d'états *)
+    i : int list;         (* états initiaux *)
+    f : int list; (* états finals *)
+    t : (int * 'a * int) list;};;  (* table de transition *)
+(*** automate_fin ***)
+
+ *)
+
 #require "unix";;
 
 module Affichage =