string
(* columns, rendering style, name prefix, object *)
val txt_of_cic_object:
string
(* columns, rendering style, name prefix, object *)
val txt_of_cic_object:
?skip_thm_and_qed:bool ->
?skip_initial_lambdas:int ->
int -> GrafiteAst.presentation_style -> string ->
?skip_thm_and_qed:bool ->
?skip_initial_lambdas:int ->
int -> GrafiteAst.presentation_style -> string ->