val pp_obj: GrafiteAst.obj -> string
val pp_command: (CicNotationPt.term,GrafiteAst.obj) GrafiteAst.command -> string
+val pp_metadata: GrafiteAst.metadata -> string
val pp_macro: ('a -> string) -> 'a GrafiteAst.macro -> string
val pp_comment:
val pp_dependency: GrafiteAst.dependency -> string
-
+val pp_cic_appl_pattern: CicNotationPt.cic_appl_pattern -> string
+