int -> GrafiteAst.presentation_style -> string ->
Cic.obj ->
string
(* presentation_style, uri or baseuri, name prefix *)
val txt_of_inline_macro:
int -> GrafiteAst.presentation_style -> string ->
Cic.obj ->
string
(* presentation_style, uri or baseuri, name prefix *)
val txt_of_inline_macro: