ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / box.mli

diff --git a/helm/ocaml/cic_notation/box.mli b/helm/ocaml/cic_notation/box.mli
index 29669578088a875be7e86a819d8437a072d1c7b3..56c0869640fd72ed4c9ea397506ba6a639bac252 100644 (file)
--- a/helm/ocaml/cic_notation/box.mli
+++ b/helm/ocaml/cic_notation/box.mli
@@ -46,6 +46,9 @@ type
 
 and attr = (string option * string * string) list
 
+val get_attr: 'a box -> attr
+val set_attr: attr -> 'a box -> 'a box
+
 val smallskip : 'expr box
 val skip: 'expr box
 val indent : 'expr box -> 'expr box
@@ -71,3 +74,5 @@ val b_indent: 'expr box -> 'expr box
 val b_space: 'expr box
 val b_kw: string -> 'expr box
 
+val pp_attr: attr -> string
+