From 5b7784184da0553bb86ffcc08456f03d3fafdd9b Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Sun, 8 May 2022 22:34:25 +0200
Subject: [PATCH] Indentation

---
 structs.ml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/structs.ml b/structs.ml
index 5b14ed0..d789846 100644
--- a/structs.ml
+++ b/structs.ml
@@ -11,16 +11,16 @@ let tvarRegex = Str.regexp "^([A-Z]+)([0-9]*)$";;
 
 (* Type complexe *)
 type ty =
-    | TSimple of var_type
-    | TImpl of ty * ty
-    | TFalse;;
+  | TSimple of var_type
+  | TImpl of ty * ty
+  | TFalse;;
 
 (* λ-terme *)
 type lam =
-    | LFun of var_lambda * ty * lam
-    | LApp of lam * lam
-    | LVar of var_lambda
-    | LExf of lam * ty;;
+  | LFun of var_lambda * ty * lam
+  | LApp of lam * lam
+  | LVar of var_lambda
+  | LExf of lam * ty;;
 
 (* Environnement de typage *)
 type gam = (var_type * ty) list;;