diff --git a/src/kernel_services/ast_building/cil_builder.mli b/src/kernel_services/ast_building/cil_builder.mli
index 34f08cbe78b954fbd4a7af84802ff4c7205fd05a..0161ca787b8eb5920c990e18d97ba0cc38b10508 100644
--- a/src/kernel_services/ast_building/cil_builder.mli
+++ b/src/kernel_services/ast_building/cil_builder.mli
@@ -275,6 +275,15 @@ end
 module Stateful (Location : T) :
 sig
   include module type of Exp
+    with type ('v,'s) typ = ('v,'s) Type.typ
+     and type const' = Exp.const'
+     and type var' = Exp.var'
+     and type lval' = Exp.lval'
+     and type exp' = Exp.exp'
+     and type init' = Exp.init'
+     and type label = Exp.label
+
+  val loc : Cil_types.location (* = T.loc *)
 
   (* Functions *)
   val open_function : ?ghost:bool -> ?vorig_name:string -> string -> [> var]