X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Fbox.mli;h=56c0869640fd72ed4c9ea397506ba6a639bac252;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=29669578088a875be7e86a819d8437a072d1c7b3;hpb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;p=helm.git

diff --git a/helm/ocaml/cic_notation/box.mli b/helm/ocaml/cic_notation/box.mli
index 296695780..56c086964 100644
--- 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
+