Indentation to match Typecheck2.mli
This commit is contained in:
parent
cbb08f4405
commit
5628e370b5
16
AST2.ml
16
AST2.ml
@ -68,14 +68,14 @@ module O = struct
|
|||||||
}
|
}
|
||||||
|
|
||||||
and operator =
|
and operator =
|
||||||
Function of var_name
|
Function of var_name
|
||||||
| Construcor of var_name
|
| Construcor of var_name
|
||||||
| UpdateField of field_name
|
| UpdateField of field_name
|
||||||
| GetField of field_name
|
| GetField of field_name
|
||||||
| Or | And | Lt | Leq | Gt | Geq | Equal | Neq | Cat | Cons | Add | Sub | Mult | Div | Mod
|
| Or | And | Lt | Leq | Gt | Geq | Equal | Neq | Cat | Cons | Add | Sub | Mult | Div | Mod
|
||||||
| Neg | Not
|
| Neg | Not
|
||||||
| Tuple | Set | List
|
| Set | List
|
||||||
| MapLookup
|
| MapLookup
|
||||||
|
|
||||||
and constant =
|
and constant =
|
||||||
Unit | Int of Z.t | String of string | Bytes of MBytes.t | False | True
|
Unit | Int of Z.t | String of string | Bytes of MBytes.t | False | True
|
||||||
|
Loading…
Reference in New Issue
Block a user