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