Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Indentation

Browse Source
This commit is contained in:
Adrien Vannson 2022-05-08 22:34:25 +02:00
parent fc7317b2d0
commit 5b7784184d
No known key found for this signature in database
GPG Key ID: FE2E66FD978C1A55
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
structs.ml
View File

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