Module Zarith_top

val eval_string : ?print_outcome:bool -> ?err_formatter:Format.formatter -> string -> bool