balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Humour.

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 18:19:51 +01:00
parent 9db37fbdc4
commit cbb08f4405
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Typecheck2.ml
View File

@ -68,7 +68,7 @@ module O = struct
and operator_case = and operator_case =
Function of var_name Function of var_name
| Construcor of var_name | Constructor 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

2
Typecheck2.mli
View File

@ -68,7 +68,7 @@ module O : sig
and operator_case = and operator_case =
Function of var_name Function of var_name
| Construcor of var_name | Constructor 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