From e502770887ebbfcc29378d7163773f0a39296c70 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 18 Jul 2022 21:29:29 +0200
Subject: [PATCH] [Cil Builder] Export more information in interface to allow
module extension
---
src/kernel_services/ast_building/cil_builder.mli | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/src/kernel_services/ast_building/cil_builder.mli b/src/kernel_services/ast_building/cil_builder.mli
index 34f08cbe78b..0161ca787b8 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]
--
GitLab