From 5628e370b53a075c69b714fe3b2d52c854d93119 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 14 Mar 2019 18:26:25 +0100 Subject: [PATCH] Indentation to match Typecheck2.mli --- AST2.ml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/AST2.ml b/AST2.ml index 4cf261b31..c19df17f7 100644 --- a/AST2.ml +++ b/AST2.ml @@ -68,14 +68,14 @@ module O = struct } and operator = - Function of var_name - | Construcor of var_name - | UpdateField of field_name - | GetField of field_name - | Or | And | Lt | Leq | Gt | Geq | Equal | Neq | Cat | Cons | Add | Sub | Mult | Div | Mod - | Neg | Not - | Tuple | Set | List - | MapLookup + Function of var_name + | Construcor of var_name + | UpdateField of field_name + | GetField of field_name + | Or | And | Lt | Leq | Gt | Geq | Equal | Neq | Cat | Cons | Add | Sub | Mult | Div | Mod + | Neg | Not + | Set | List + | MapLookup and constant = Unit | Int of Z.t | String of string | Bytes of MBytes.t | False | True