diff --git a/serlib/ser_constrexpr.ml b/serlib/ser_constrexpr.ml
index ac171db5..fff58904 100644
--- a/serlib/ser_constrexpr.ml
+++ b/serlib/ser_constrexpr.ml
@@ -139,6 +139,9 @@ type explicit_flag = [%import: Constrexpr.explicit_flag]
 (* type sign = [%import: Constrexpr.sign]
  *   [@@deriving sexp,yojson] *)
 
+type delimiter_depth = [%import: Constrexpr.delimiter_depth]
+  [@@deriving sexp,yojson,hash,compare]
+
 type prim_token = [%import: Constrexpr.prim_token]
   [@@deriving sexp,yojson,hash,compare]
 
diff --git a/serlib/ser_constrexpr.mli b/serlib/ser_constrexpr.mli
index 6feb9476..809977c1 100644
--- a/serlib/ser_constrexpr.mli
+++ b/serlib/ser_constrexpr.mli
@@ -62,6 +62,9 @@ val sexp_of_binder_kind : binder_kind -> Sexp.t
  * val proj_flag_of_sexp : Sexp.t -> proj_flag
  * val sexp_of_proj_flag : proj_flag -> Sexp.t *)
 
+type delimiter_depth = [%import: Constrexpr.delimiter_depth]
+  [@@deriving sexp,yojson,hash,compare]
+
 type prim_token = Constrexpr.prim_token
 
 val prim_token_of_sexp : Sexp.t -> prim_token
diff --git a/serlib/ser_vernacexpr.ml b/serlib/ser_vernacexpr.ml
index de08c296..825dd613 100644
--- a/serlib/ser_vernacexpr.ml
+++ b/serlib/ser_vernacexpr.ml
@@ -59,6 +59,9 @@ type goal_identifier = [%import: Vernacexpr.goal_identifier]
 type scope_name      = [%import: Vernacexpr.scope_name]
   [@@deriving sexp,yojson,hash,compare]
 
+type scope_delimiter = [%import: Vernacexpr.scope_delimiter]
+  [@@deriving sexp,yojson,hash,compare]
+
 type goal_reference =
   [%import: Vernacexpr.goal_reference]
   [@@deriving sexp,yojson,hash,compare]
diff --git a/serlib/ser_vernacexpr.mli b/serlib/ser_vernacexpr.mli
index 983273f5..4efe7368 100644
--- a/serlib/ser_vernacexpr.mli
+++ b/serlib/ser_vernacexpr.mli
@@ -23,6 +23,10 @@ type scope_name =
   [%import: Vernacexpr.scope_name]
   [@@deriving sexp,yojson]
 
+type scope_delimiter =
+  [%import: Vernacexpr.scope_delimiter]
+  [@@deriving sexp,yojson]
+
 type notation_format =
   [%import: Vernacexpr.notation_format]
   [@@deriving sexp,yojson]