print_coq.mli 165 Bytes
Newer Older
charguer's avatar
charguer committed
1 2 3 4 5 6 7 8 9

(* Width for printing
   TODO: how to change it? *)

val width : int ref

(** Print a list of coqtop declaration into a string *)

val tops : Coq.coqtops -> string