1 files changed, 10 insertions, 1 deletions
diff --git a/frontend/ast.ml b/frontend/ast.ml
index d55626d..773efa4 100644
--- a/frontend/ast.ml
+++ b/frontend/ast.ml
@@ -2,6 +2,15 @@ open Lexing
 open Util
 
 
+(*
+  Abstract Syntax Tree for a subset of the SCADE language.
+
+  This subset includes :
+  - basic dataflow core (excluding when, merge, and all other clock primitives)
+  - activate blocks
+  - automata with weak transitions only
+*)
+
 type 'a ext = 'a * extent
 
 type id = string
@@ -63,7 +72,7 @@ type expr =
 type var_def = bool * id * typ
 
 type automaton = id * state ext list * id list
-and  state = {
+and state = {
     initial   : bool;
     st_name   : id;
     st_locals : var_def list;