Interval_top
val eval_string : ?print_outcome:bool -> ?err_formatter:Stdlib.Format.formatter -> string -> bool
val load_interval : unit -> bool