(* heavy checks slow down the compilation process but give you some interesting
* infos like if the theorem is a duplicate *)
val eval_string:
?do_heavy_checks:bool ->
?include_paths:string list ->
(* heavy checks slow down the compilation process but give you some interesting
* infos like if the theorem is a duplicate *)
val eval_string:
?do_heavy_checks:bool ->
?include_paths:string list ->