diff --git a/src/passes/1-parser/pascaligo/LexToken.mli b/src/passes/1-parser/pascaligo/LexToken.mli
index f98c7576c..49998a2e1 100644
--- a/src/passes/1-parser/pascaligo/LexToken.mli
+++ b/src/passes/1-parser/pascaligo/LexToken.mli
@@ -72,6 +72,7 @@ type t =
 
 | And        of Region.t  (* "and"        *)
 | Begin      of Region.t  (* "begin"      *)
+| BigMap     of Region.t  (* "big_map"    *)
 | Block      of Region.t  (* "block"      *)
 | Case       of Region.t  (* "case"       *)
 | Const      of Region.t  (* "const"      *)
@@ -141,7 +142,7 @@ type int_err =
 
 type ident_err = Reserved_name
 
-type invalid_natural = 
+type invalid_natural =
   | Invalid_natural
   | Non_canonical_zero_nat
 
diff --git a/src/passes/1-parser/pascaligo/LexToken.mll b/src/passes/1-parser/pascaligo/LexToken.mll
index 0fac02d8e..b92ae7edd 100644
--- a/src/passes/1-parser/pascaligo/LexToken.mll
+++ b/src/passes/1-parser/pascaligo/LexToken.mll
@@ -70,6 +70,7 @@ type t =
 
 | And        of Region.t  (* "and"        *)
 | Begin      of Region.t  (* "begin"      *)
+| BigMap     of Region.t  (* "big_map"    *)
 | Block      of Region.t  (* "block"      *)
 | Case       of Region.t  (* "case"       *)
 | Const      of Region.t  (* "const"      *)
@@ -201,6 +202,7 @@ let proj_token = function
 
 | And        region -> region, "And"
 | Begin      region -> region, "Begin"
+| BigMap     region -> region, "BigMap"
 | Block      region -> region, "Block"
 | Case       region -> region, "Case"
 | Const      region -> region, "Const"
@@ -293,6 +295,7 @@ let to_lexeme = function
 
 | And        _ -> "and"
 | Begin      _ -> "begin"
+| BigMap     _ -> "big_map"
 | Block      _ -> "block"
 | Case       _ -> "case"
 | Const      _ -> "const"
@@ -353,6 +356,7 @@ let to_region token = proj_token token |> fst
 let keywords = [
   (fun reg -> And        reg);
   (fun reg -> Begin      reg);
+  (fun reg -> BigMap     reg);
   (fun reg -> Block      reg);
   (fun reg -> Case       reg);
   (fun reg -> Const      reg);
@@ -476,14 +480,14 @@ let mk_int lexeme region =
   then Error Non_canonical_zero
   else Ok (Int Region.{region; value = lexeme, z})
 
-type invalid_natural = 
+type invalid_natural =
   | Invalid_natural
   | Non_canonical_zero_nat
 
 let mk_nat lexeme region =
-  match (String.index_opt lexeme 'n') with  
+  match (String.index_opt lexeme 'n') with
   | None -> Error Invalid_natural
-  | Some _ -> (  
+  | Some _ -> (
     let z =
       Str.(global_replace (regexp "_") "" lexeme) |>
       Str.(global_replace (regexp "n") "") |>
@@ -569,6 +573,7 @@ let is_ident = function
 let is_kwd = function
   And        _
 | Begin      _
+| BigMap     _
 | Block      _
 | Case       _
 | Const      _
diff --git a/src/passes/1-parser/pascaligo/ParToken.mly b/src/passes/1-parser/pascaligo/ParToken.mly
index e400947cb..49f77b8d3 100644
--- a/src/passes/1-parser/pascaligo/ParToken.mly
+++ b/src/passes/1-parser/pascaligo/ParToken.mly
@@ -46,6 +46,7 @@
 
 %token <Region.t> And         (* "and"        *)
 %token <Region.t> Begin       (* "begin"      *)
+%token <Region.t> BigMap      (* "big_map"    *)
 %token <Region.t> Block       (* "block"      *)
 %token <Region.t> Case        (* "case"       *)
 %token <Region.t> Const       (* "const"      *)
diff --git a/src/passes/1-parser/pascaligo/Parser.mly b/src/passes/1-parser/pascaligo/Parser.mly
index bc99f9176..55729ed77 100644
--- a/src/passes/1-parser/pascaligo/Parser.mly
+++ b/src/passes/1-parser/pascaligo/Parser.mly
@@ -168,6 +168,11 @@ core_type:
     let type_constr = {value="map"; region=$1}
     in TApp {region; value = type_constr, $2}
   }
+| BigMap type_tuple {
+    let region = cover $1 $2.region in
+    let type_constr = {value="big_map"; region=$1}
+    in TApp {region; value = type_constr, $2}
+  }
 | Set par(type_expr) {
     let total = cover $1 $2.region in
     let type_constr = {value="set"; region=$1} in