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